Mechanised Reasoning

Supervisor	Tom Melham
Suitable for	Honour School of Mathematics and Computer Science, Part C Honour School of Computer Science, Part C Honour School of Computer Science, Part B

Abstract