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