Mandrykin M.U. · LibMeta · SciLib
IMT journal Cited authorPerson

Mandrykin M.U.

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

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

← author · 1
Region analysis for deductive verification of C programs