Introductory logic and formal methods

• Authors:

• David Heath;Derek Allum;Lynne Dunckley

• Affiliations:

• Univ. of Luton, UK;Univ. of Luton, UK;Univ. of Luton, UK

• Venue:
• Introductory logic and formal methods
• Year:
• 1994