Вы здесь

Majumdar R.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Abstractions from Proofs 2004 Henzinger T. A., Jhala R., Majumdar R., Mcmillan K. L. POPL 2004 09.06.2004
СТ Extreme Model Checking 2003 Henzinger T. A., Jhala R., Majumdar R., Sanvido M.A. A. Lecture Notes in Computer Science 26.03.2004
СТ Software Verification with BLAST 2003 Henzinger T. A., Jhala R., Majumdar R., Sutre G. Lecture Notes in Computer Science 29.05.2003
СТ Temporal-Safety Proofs for Systems Code 2002 Henzinger T. A., Jhala R., Majumdar R., Necula G. C., Sutre G., Weimer W. Lecture Notes in Computer Science 31.08.2002
СТ 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
СТ Time-Safety Checking for Embedded Programs 2002 Henzinger T. A., Kirsch C. M., Majumdar R., Matic S. Lecture Notes in Computer Science 11.11.2002