Refining rely-guarantee thinking. Formal Aspects of Computing (2012)

Author(s): Hayes IJ, Jones CB, Colvin RJ

      • Journal: Formal Aspects of Computing
      • Publication type: Article
      • Bibliographic status: Submitted
        Staff

        Professor Cliff Jones
        Professor
        • Telephone: +44 191 222 8183