IMT journal Cited workPublicationDocument

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

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

Данные

year	2017
language	ru

author

Шелехов В.И.

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

← cites · 1

← references · 1