Testing as abstraction
- 1 January 1995
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- ZESTPublished by Springer Nature ,1992
- Formaliser — An Interactive Support Tool for ZPublished by Springer Nature ,1990
- Formal specifications as reusable frameworksPublished by Springer Nature ,1990