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

Testing Dafny (experience paper):

, In: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis,
Irfan, Ahmed ; Porncharoenwase, Sorawee ; Rakamarić, Zvonimir.. - p. 556-567 , 2022
Link: https://dl.acm.org/doi/10.1145/3533767.3534382