Графовое представление функциональных программ и основанный на нем метод верификации функциональных программстатья

Статья опубликована в журнале из перечня ВАК
Дата последнего поиска статьи во внешних источниках: 10 июня 2020 г.

Работа с статьей


[1] Миронов А. М. Графовое представление функциональных программ и основанный на нем метод верификации функциональных программ // Системы высокой доступности. — 2019. — Т. 15, № 4. — С. 49–74. [ DOI ]

Публикация в формате сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл скрыть