Вы здесь
Margaria T.
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Leveraging Applications of Formal Methods, Verification and Validation, Part IV: Industrial Practice: Proc./8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 2018 | 2018 | Lecture Notes in Computer Science |
|
13.12.2018 | |||
| СБ | Tools and Algorithms for the Construction and Analysis of Systems, Part II: Proc./23rd International Conference, TACAS 2017 Held as part of ETAPS 2017, Uppsala, Sweden, April 2017 | 2017 | Lecture Notes in Computer Science |
|
03.05.2017 |