The University of Warwick Library - WebBridge

Experiences of teaching a lightweight formal method
Boyatt, Russell.  Formal Methods in Computer Science Education.    2008-04. .   

Online access not found

Sorry - based on the information provided, WebBridge cannot offer appropriate links.