Formal Methods Diffusion: Past Lessons and Future Prospects - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Robin E. Bloomfield, Dan Craigen, Frank Koob, Markus Ullmann, Stefan Wittmann. Formal Methods Diffusion: Past Lessons and Future Prospects. In Floor Koornneef, Meine van der Meulen, editors, Computer Safety, Reliability and Security, 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000, Proceedings. Volume 1943 of Lecture Notes in Computer Science, pages 211-226, Springer, 2000. [doi]

This author has not been identified. Look up 'Robin E. Bloomfield' in GoogleThis author has not been identified. Look up 'Dan Craigen' in GoogleThis author has not been identified. Look up 'Frank Koob' in GoogleThis author has not been identified. Look up 'Markus Ullmann' in GoogleThis author has not been identified. Look up 'Stefan Wittmann' in Google

runs on WebDSL