Michael Lipaczewski, Frank Ortmeier. Teaching and Training Formal Methods for Safety Critical Systems. In Onur Demirörs, Oktay Türetken, editors, 39th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2013, Santander, Spain, September 4-6, 2013. pages 408-413, IEEE, 2013. [doi]
Abstract is missing.