The search for tractable ways of reasoning about programs (1992)

Author(s): Jones CB

      • Date: 1992
      • Institution: University of Manchester
      • Publication type: Report
      • Bibliographic status: Published
        Staff

        Professor Cliff Jones
        Professor

        • Telephone: +44 191 208 8183