Abbrevation
TSFME
Link
http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=13804&copyownerid=6107
City
Noordwijkerhout
Country
Netherlands
Deadline Paper
Start Date
End Date
Abstract

The TSFME 2011 workshop focuses on tool support primarily for teaching formal methods&#046; The aim of this workshop is to create an awareness of the availability of these tools for formal methods educators&#046;<br>Topics of interest