Henning Bordihn, Anna-Lena Lamprecht, Tiziana Margaria. Foundations of Semantics and Model Checking in a Software Engineering Course. In Andreas Bollin, Tiziana Margaria, Isabelle Perseil, editors, Proceedings of the First Workshop on Formal Methods in Software Engineering Education and Training, FMSEE&T 2015, co-located with 20th International Symposium on Formal Methods (FM 2015), Oslo, Norway, June 23, 2015. Volume 1385 of CEUR Workshop Proceedings, pages 19-26, CEUR-WS.org, 2015. [doi]
@inproceedings{BordihnLM15,
title = {Foundations of Semantics and Model Checking in a Software Engineering Course},
author = {Henning Bordihn and Anna-Lena Lamprecht and Tiziana Margaria},
year = {2015},
url = {http://ceur-ws.org/Vol-1385/paper4.pdf},
researchr = {https://researchr.org/publication/BordihnLM15},
cites = {0},
citedby = {0},
pages = {19-26},
booktitle = {Proceedings of the First Workshop on Formal Methods in Software Engineering Education and Training, FMSEE&T 2015, co-located with 20th International Symposium on Formal Methods (FM 2015), Oslo, Norway, June 23, 2015},
editor = {Andreas Bollin and Tiziana Margaria and Isabelle Perseil},
volume = {1385},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}