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
        Staff

        Professor Cliff Jones
        Professor

        • Telephone: +44 191 208 8183