Вы здесь
Young W. D.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Comparing Verification Systems: Interactive Consistency in ACL2 | 1997 | Young W. D. | IEEE Trans. on Software Engineering | 12.08.1997 |
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Comparing Verification Systems: Interactive Consistency in ACL2 | 1997 | Young W. D. | IEEE Trans. on Software Engineering | 12.08.1997 |