Вы здесь
Damon C. A.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications | 1998 | Jackson D., Jha S., Damon C. A. | ACM Trans. on Programming Languages and Systems | 27.11.1998 | |||
| СТ | Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector | 1996 | Jackson D., Damon C. A. | IEEE Trans. on Software Engineering | 14.11.1996 | |||
| СТ | Efficient Search as a Means of Executing Specifications | 1996 | Damon C. A., Jackson D. | Lecture Notes in Computer Science | 24.04.1996 |