Вернуться к Подробностям о статье
Инструментальная поддержка формальной верификации программ, написанных на языке функционально-потокового параллельного программирования
Скачать
Скачать PDF