Elspeth Cusack;G.-H. Bagherzadeh Rafsanjani
-;-
Extending the test template framework
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods