Conference Proceedings

Model-based specification animation using testgraphs

T Miller, P Strooper

Formal Methods and Software Engineering (Lecture Notes in Computer Science) | Published : 2002

Citation metrics