robert mark hierons
Formal Methods and Testing
Print on DemandInhaltsangabeModel Based Testing with Labelled Transition Systems.- Model-Based Testing of Object...
Theoretical Aspects of Computing - ICTAC 2019
Print on DemandThis book constitutes the refereed proceedings of the 16th International Colloquium on Theoretica...
- 1