Machine-assisted Verification of Software

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