1. Главная
  2. Полный текст публикации: Automation of Formal Verification of Programs in the Pifagor Language : научное издание

Полный текст публикации: Automation of Formal Verification of Programs in the Pifagor Language : научное издание

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

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

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