D.: Extending the Test Template Framework (1998)

by I Maccoll, Carrington
Venue:In: Proceedings of the Third Northern Formal Methods Workshop