Conference Proceedings

Model-based specification animation using testgraphs

T Miller, P Strooper

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

DOI: 10.1007/3-540-36103-0_21

Citation metrics

14Scopus