S. Batley
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1990
Formal Methods to Assist Conformance Testing. A Case Study.
Proceedings of the Formal Description Techniques, 1990