Вы здесь
Henzinger Th. A.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | The BLAST Query Language for Software Verification | 2004 | Beyer D., Chlipala A. J., Henzinger Th. A., Jhala R., Majumdar R. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 22.10.2004 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Computer Science Logic: Proc./21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL. Lausanne, Switzerland, September 2007 | 2007 | Lecture Notes in Computer Science |
|
07.01.2008 |