Вы здесь
Yahav E.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Typestate Verification: Abstraction Techniques and Complexity Results | 2003 | Field J., Goyal D., Ramalingam G., Yahav E. | Lecture Notes in Computer Science | 18.09.2003 | |||
| СТ | Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management | 2003 | Shaham R., Yahav E., Kolodner E. K., Sagiv M. | Lecture Notes in Computer Science | 18.09.2003 | |||
| СТ | Verifying Temporal Heap Properties Specified via Evolution Logic | 2003 | Yahav E., Reps T., Sagiv M., Wilhelm R. | Lecture Notes in Computer Science | 16.04.2003 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Hardware and Software: Verification and Testing: Proc./10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 2014 | 2014 | Lecture Notes in Computer Science |
|
11.12.2014 | |||
| СБ | Static Analysis: Proc./18th International Symposium, SAS 2011, Venice, Italy, September 2011 | 2011 | Lecture Notes in Computer Science |
|
11.01.2012 |