Investigating the Mechanisation of the Logic of Partial Functions (2012)

Author(s): Jones CB, Lovert MJ, Steggles LJ

      • Journal: SCP
      • Publication type: Article
      • Bibliographic status: In Preparation
        Staff

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