|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
A New Approach to Modelling and Verification of Functional Programsстатья
Информация о цитировании статьи получена из
Scopus
Дата последнего поиска статьи во внешних источниках: 22 декабря 2021 г.
- Автор: Mironov Andrew M.
- Сборник: Proceedings of 10th Computer Science On-line Conference
- Серия: Lecture Notes in Networks and Systems
- Том: 228
- Год издания: 2021
- Издательство: Springer International Publishing AG
- Местоположение издательства: Cham, Switzerland
- Первая страница: 114
- Последняя страница: 137
- DOI: 10.1007/978-3-030-77448-6_11
- Добавил в систему: Миронов Андрей Михайлович