Вы здесь
Windley P.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Report on the UCD Microcoded Viper Verification Project | 1994 | Arora T., Leung T., Levitt K., Schubert T., Windley P. | Lecture Notes in Computer Science | 18.06.1994 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Formal Methods in Computer-Aided Design: Proc./Second Intern. Conf., FMCAD 98. Palo Alto, CA, USA, November 1998 | 1998 | Lecture Notes in Computer Science |
|
19.11.1998 |