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

Are formal methods useful for software development?:

, In: [1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference,
Wedde, H.F. ; Cheng, B.H.C. ; Gries, D.... - p. 2,3,4,5,6,7,8,9 , 1992
Link: https://doi.org/10.1109/CMPSAC.1992.217611