Enhancing the tractability of rely/guarantee specifications in the development of interfering operations (1995)

Author(s): Collette P, Jones CB

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

        Professor Cliff Jones
        Professor

        • Telephone: +44 191 208 8183