Sciweavers

FM
1994
Springer
104views Formal Methods» more  FM 1994»
14 years 3 months ago
Seven More Myths of Formal Methods
For whatever reason, formal methods remain one of the more contentious techniques in industrial software engineering. Despite some improvement in the uptake of formal methods, it i...
Jonathan P. Bowen, Michael G. Hinchey