IMT journal
Cited workPublicationDocument
The Dafny Integrated Development Environment
http://libmeta.ru/resource/imt/cited_1772
Данные
| sourceNote | EPTCS 149. 2014. Pp. 3–15. |
| year | 2014 |
| language | en |
| bibliographicCitation | Leino K.R.M., Wustholz V. The Dafny Integrated Development Environment // EPTCS 149. 2014. Pp. 3–15. |
author
Входящие связи