Вы здесь
Chlipala A. J.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | 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 |