IMT journal Cited authorPerson

Leino K.R.M.

http://libmeta.ru/resource/imt/cited_author/Leino_K_R_M

Входящие связи

← author · 2

Specification and verification of object-oriented software The Dafny Integrated Development Environment