Major Threat: From Formal Methods without Tools to Tools without Formal Methods.

Bernhard Steffen Major Threat: From Formal Methods without Tools to Tools without Formal Methods. 15 2004 conf/iceccs/2004 ICECCS http://csdl.computer.org/comp/proceedings/iceccs/2004/2109/00/21090015.pdf db/conf/iceccs/iceccs2004.html#Steffen04