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]
@inproceedings{LipaczewskiO13,
title = {Teaching and Training Formal Methods for Safety Critical Systems},
author = {Michael Lipaczewski and Frank Ortmeier},
year = {2013},
doi = {10.1109/SEAA.2013.54},
url = {http://dx.doi.org/10.1109/SEAA.2013.54},
researchr = {https://researchr.org/publication/LipaczewskiO13},
cites = {0},
citedby = {0},
pages = {408-413},
booktitle = {39th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2013, Santander, Spain, September 4-6, 2013},
editor = {Onur Demirörs and Oktay Türetken},
publisher = {IEEE},
}