Журнал ИМТ Цитируемый авторПерсона

Mandrykin M.U.

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

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

← автор · 1

Region analysis for deductive verification of C programs