Efficient search as a means of executing specifications
- 1 January 1996
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Elements of stylePublished by Association for Computing Machinery (ACM) ,1996
- Faster checking of software specifications by eliminating isomorphsPublished by Association for Computing Machinery (ACM) ,1996
- Specifications are (preferably) executableSoftware Engineering Journal, 1992
- Specifications are not (necessarily) executableSoftware Engineering Journal, 1989