От редакторов специального выпуска
Данный выпуск представляет статьи, подготовленные на основе избранных докладов Третьего международного семинара «Семантика, спецификация и верификация программ: теория и приложения» (Third Workshop on Program Semantics, Specification and Verification: Theory and Applications, PSSV 2012) и Международ...
Na minha lista:
| Formato: | Artigo |
|---|---|
| Idioma: | Inglês |
| Publicado em: |
Yaroslavl State University
2015-03-01
|
| Colecção: | Моделирование и анализ информационных систем |
| Acesso em linha: | https://www.mais-journal.ru/jour/article/view/134 |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|