Newcastle University

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

• URL: http://dx.doi.org/10.1016/j.ipl.2008.02.005
• DOI: 10.1016/j.ipl.2008.02.005
• ISSN (electronic): 1872-6119

Staff

Professor John Fitzgerald Director of Research in Computing Science, Director of the Centre for Software Reliability	Email: john.fitzgerald@ncl.ac.uk Telephone: +44 191 222 7999
Professor Cliff Jones Professor	Telephone: +44 191 222 8183