Formal Methods Diffusion: Past Lessons and Future Prospects.

Robin E. Bloomfield, Dan Craigen, Frank Koob, Markus Ullmann, Stefan Wittmann

Browse the full SAFECOMP paper archive.