Вы здесь
Logozzo F.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Automatic Inference of Class Invariants | 2004 | Logozzo F. | Lecture Notes in Computer Science | 12.02.2004 | |||
| СТ | Class-Level Modular Analysis for Object-Oriented Languages | 2003 | Logozzo F. | Lecture Notes in Computer Science | 18.09.2003 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Verification, Model Checking, and Abstract Interpretation: Proc./9th International Conference, VMCAI 2008. San Francisco, USA, January 2008 | 2008 | Lecture Notes in Computer Science |
|
15.04.2008 |