%0 Conference Paper %1 conf/tfm/FleischmannKNW99 %A Fleischmann, Pamela %A Kulczynski, Mitja %A Nowotka, Dirk %A Wilke, Thomas %B FMTea %D 2019 %E Dongol, Brijesh %E Petre, Luigia %E Smith, Graeme %I Springer %K dblp %P 181-195 %T Managing Heterogeneity and Bridging the Gap in Teaching Formal Methods. %U http://dblp.uni-trier.de/db/conf/tfm/fmtea2019.html#FleischmannKNW99 %V 11758 %@ 978-3-030-32441-4

@inproceedings{conf/tfm/FleischmannKNW99, added-at = {2021-10-14T00:00:00.000+0200}, author = {Fleischmann, Pamela and Kulczynski, Mitja and Nowotka, Dirk and Wilke, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/2b42047596612931f51e042425fed8e6f/dblp}, booktitle = {FMTea}, crossref = {conf/tfm/2019}, editor = {Dongol, Brijesh and Petre, Luigia and Smith, Graeme}, ee = {https://doi.org/10.1007/978-3-030-32441-4_12}, interhash = {0c7e04ccff3598f9aae213e92ca1cb2a}, intrahash = {b42047596612931f51e042425fed8e6f}, isbn = {978-3-030-32441-4}, keywords = {dblp}, pages = {181-195}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T17:59:51.000+0200}, title = {Managing Heterogeneity and Bridging the Gap in Teaching Formal Methods.}, url = {http://dblp.uni-trier.de/db/conf/tfm/fmtea2019.html#FleischmannKNW99}, volume = 11758, year = 2019 }