Вы здесь
Duke R.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Viewpoint-Based Testing of Concurrent Components | 2004 | Wildman L., Duke R., Strooper P. | Lecture Notes in Computer Science | 21.05.2004 | |||
СТ | Model Checking Object-Z Using ASM | 2002 | Winter K., Duke R. | Lecture Notes in Computer Science | 21.06.2002 | |||
СТ | Behavioural Retrieval from Class Libraries | 1995 | Atkinson S., Duke R. | Australian Computer Science Communications | 11.07.1995 |