IMT journal Cited authorPerson

Shelekhov V.I.

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

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

← author · 1

Verification and Synthesis of Addition Programs under the Rules of Correctness …