Sciweavers

JUCS
2007
94views more  JUCS 2007»
13 years 10 months ago
Automated Formal Methods Enter the Mainstream
: This paper outlines the emergence of formal techniques, explaining why they were slow to take on an industrially acceptable form. The contemporary scene, in which formal techniqu...
John M. Rushby