1. Главная
  2. Полный текст публикации: ИНСТРУМЕНТАЛЬНАЯ ПОДДЕРЖКА ФОРМАЛЬНОЙ ВЕРИФИКАЦИИ ПРОГРАММ, НАПИСАННЫХ НА ЯЗЫКЕ ФУНКЦИОНАЛЬНО-ПОТОКОВОГО ПАРАЛЛЕЛЬНОГО ПРОГРАММИРОВАНИЯ

Полный текст публикации: ИНСТРУМЕНТАЛЬНАЯ ПОДДЕРЖКА ФОРМАЛЬНОЙ ВЕРИФИКАЦИИ ПРОГРАММ, НАПИСАННЫХ НА ЯЗЫКЕ ФУНКЦИОНАЛЬНО-ПОТОКОВОГО ПАРАЛЛЕЛЬНОГО ПРОГРАММИРОВАНИЯ

Полный текст не загружен, но возможно он доступен по одной из следующих ссылок:

  1. DOI 10.14529/cmse150205 (переход на страницу публикации на сайте издателя)
  2. РИНЦ (eLIBRARY.RU) (справа ссылка «Загрузить полный текст»)
  3. Поиск в Академии Google

Вернуться на страницу публикации