Specifications are not (necessarily) executable (1989)
Author(s): Hayes IJ, Jones CB
- Date: November 1989
- Journal: Software Engineering Journal
- Volume: 4
- Issue: 6
- Pages: 330-338
- Publisher: Institution of Electrical Engineers (IEE)
- Publication type: Article
- Bibliographic status: Published