Вы здесь

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