IMT journal Cited authorPerson

Khoroshilov A.V.

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

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

← author · 1

Region analysis for deductive verification of C programs