%0 Conference Paper %1 conf/fm/BordihnLM15 %A Bordihn, Henning %A Lamprecht, Anna-Lena %A Margaria, Tiziana %B FMSEE&T@FM %D 2015 %E Bollin, Andreas %E Margaria, Tiziana %E Perseil, Isabelle %I CEUR-WS.org %K dblp %P 19-26 %T Foundations of Semantics and Model Checking in a Software Engineering Course. %U http://dblp.uni-trier.de/db/conf/fm/fmseet2015.html#BordihnLM15 %V 1385

@inproceedings{conf/fm/BordihnLM15, added-at = {2019-05-28T00:00:00.000+0200}, author = {Bordihn, Henning and Lamprecht, Anna-Lena and Margaria, Tiziana}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2cdb67eda9bd1f42af276f192f860a2d1/dblp}, booktitle = {FMSEE&T@FM}, crossref = {conf/fm/2015fmseet}, editor = {Bollin, Andreas and Margaria, Tiziana and Perseil, Isabelle}, ee = {http://ceur-ws.org/Vol-1385/paper4.pdf}, interhash = {dcdb9b89394014d9a39a64266c37e6e9}, intrahash = {cdb67eda9bd1f42af276f192f860a2d1}, keywords = {dblp}, pages = {19-26}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2019-09-27T13:51:56.000+0200}, title = {Foundations of Semantics and Model Checking in a Software Engineering Course.}, url = {http://dblp.uni-trier.de/db/conf/fm/fmseet2015.html#BordihnLM15}, volume = 1385, year = 2015 }