Research Output 1987 2017

Filter
Book editing
2002

Computer aided verification : 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 : proceedings

Brinksma, H. (ed.) & Larsen, K. G. (ed.) 2002 Copenhagen, Denmark: Springer. 626 p. (Lecture notes in computer science; no. 2404)

Research output: ScientificBook editing

2001
Formal methods
Denmark
Software
Testing