Вы здесь
Rodeh M.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Cleanness Checking of String Manipulations in C Programs via Integer Analysis | 2001 | Dor N., Rodeh M., Sagiv M. | Lecture Notes in Computer Science | 31.07.2001 | |||
| СТ | Detecting Memory Errors via Static Pointer Analysis | 1998 | Dor N., Rodeh M., Sagiv M. | SIGPLAN Notices | 16.09.1998 | |||
| СТ | A Logic-Based Approach to Program Flow Analysis | 1998 | Sagiv M., Francez N., Rodeh M., Wilheln R. | Acta Informatica | 11.08.1998 |