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]
No references recorded for this publication.
No citations of this publication recorded.