Вы здесь
Jhala R.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | 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 | ||
| СТ | 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 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Computer Construction: Proc./22nd International Conference, CC 2013 Held as Part of the European Joint Conferences ETAPS 2013, Rome, Italy, March 2013 | 2013 | Lecture Notes in Computer Science |
|
26.03.2013 | |||
| СБ | Programming Languages and Systems: Proc./10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 2012 | 2012 | Lecture Notes in Computer Science |
|
11.01.2013 | |||
| СБ | Verification, Model Checking, and Abstract Interpretation: Proc./12th International Conference, VMCAI 2011, Austin,TX,USA, January 2011 | 2011 | Lecture Notes in Computer Science |
|
10.03.2011 |