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

Shelekhov V.I.

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

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

← автор · 1

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