Вы здесь

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