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

Khoroshilov A.V.

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

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

← автор · 1

Region analysis for deductive verification of C programs