I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Exploring Automatic Specification Repair in Dafny Programs:

, In: 2023 38th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW),
Abreu, Alexandre ; Macedo, Nuno ; Mendes, Alexandra - p. 105-112 , 2023
Link: https://doi.org/10.1109/ASEW60602.2023.00019