The connection between two ways of reasoning about partial functions (2008)

Author(s): Fitzgerald JS, Jones CB

      • Journal: Information Processing Letters
      • Volume: 107
      • Issue: 3-4
      • Pages: 128-132
      • Publisher: Elsevier
      • Publication type: Article
      • Bibliographic status: Published
      Staff

      Professor John Fitzgerald
      Director of Research in Computing Science, Director of the Centre for Software Reliability

      Professor Cliff Jones
      Professor

      • Telephone: +44 191 208 8183