Вы здесь
Mastroeni I.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Domain Compression for Complete Abstractions | 2003 | Giacobazzi R., Mastroeni I. | Lecture Notes in Computer Science | 31.01.2003 | |||
| СТ | Numerical Power Analysis | 2001 | Mastroeni I. | Lecture Notes in Computer Science | 24.05.2001 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Verification, Modal Checking, and Abstract Interpretation: Proc./14th International Conference, VMCAI 2013, Rome, Italy, January, 2013 | 2013 | Lecture Notes in Computer Science |
|
11.06.2013 |