Журнал ИМТ
Цитируемая работаПубликацияДокумент
Specification and verification of object-oriented software
http://libmeta.ru/resource/imt/cited_1645
Данные
| sourceNote | Marktoberdorf International Summer School. 2008. 36p. |
| год | 2008 |
| language | en |
| bibliographicCitation | Leino K.R.M. Specification and verification of object-oriented software // Marktoberdorf International Summer School. 2008. 36p. |
автор
Входящие связи