Formal Methods Diffusion: Past Lessons and Future Prospects.

Sat, 01 Jan 2000 00:00:00 +0100

Robin E. Bloomfield, Dan Craigen, Frank Koob, Markus Ullmann, Stefan Wittmann:
Formal Methods Diffusion: Past Lessons and Future Prospects. SAFECOMP 2000: 211-226