[ACM Press the symposium - Victoria, British Columbia, Canada (1991.10.08-1991.10.10)] Proceedings of the symposium on Testing, analysis, and verification - TAV4 - Executing formal specifications
Ghezzi, Carlo, Kennerer, Richard A.Year:
1991
Language:
english
DOI:
10.1145/120807.120817
File:
PDF, 1007 KB
english, 1991