От редакторов специального выпуска
Данный выпуск представляет статьи, подготовленные на основе избранных докладов Третьего международного семинара «Семантика, спецификация и верификация программ: теория и приложения» (Third Workshop on Program Semantics, Specification and Verification: Theory and Applications, PSSV 2012) и Международ...
Format: | Article |
---|---|
Language: | English |
Published: |
Yaroslavl State University
2015-03-01
|
Series: | Моделирование и анализ информационных систем |
Online Access: | https://www.mais-journal.ru/jour/article/view/134 |