The University of Warwick Library - WebBridge

Motivating study of formal methods in the classroom
Symposium on Teaching Formal Methods (TFM 2004).  v. 3294.   2004. p. 32 - 46... issn: 0302-9743 .   

Online access not found

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