Журнал ИМТ Цитируемая работаПубликацияДокумент

Доказательное построение, верификация и синтез предикатных программ

http://libmeta.ru/resource/imt/cited_2484

Данные

год	2017
language	ru

автор

Шелехов В.И.

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

← цитирует · 1

← ссылается на · 1