Вы здесь
Traynor O.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Program Verification in a Transformational Environment | 1995 | Mcgettrick A. D., Traynor O. | Australian Computer Science Communications | 12.07.1995 | |||
| СТ | Extending Z with Modules | 1995 | Traynor O., Kearney P., Wang L., Karlsen E. | Australian Computer Science Communications | 12.07.1995 | |||
| СТ | Supporting Fine-Grained Traceability in Software Development Environments | 1998 | Lindsay P., Traynor O. | Lecture Notes in Computer Science | 07.08.1998 |