Motivating Study of Formal Methods in the Classroom.

Joy N. Reed Jane Sinclair Motivating Study of Formal Methods in the Classroom. 32-46 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3294&spage=32 2004 conf/tfm/2004 TFM db/conf/tfm/tfm2004.html#ReedS04