Conference Proceedings
Model-based specification animation using testgraphs
T Miller, P Strooper
Formal Methods and Software Engineering (Lecture Notes in Computer Science) | Published : 2002
Conference Proceedings
T Miller, P Strooper
Formal Methods and Software Engineering (Lecture Notes in Computer Science) | Published : 2002