%0 Conference Paper %1 conf/fm/Cowling15 %A Cowling, Anthony J. %B FMSEE&T@FM %D 2015 %E Bollin, Andreas %E Margaria, Tiziana %E Perseil, Isabelle %I CEUR-WS.org %K dblp %P 11-18 %T The Role of Modelling in Teaching Formal Methods for Software Engineering. %U http://dblp.uni-trier.de/db/conf/fm/fmseet2015.html#Cowling15 %V 1385

@inproceedings{conf/fm/Cowling15, added-at = {2023-03-10T00:00:00.000+0100}, author = {Cowling, Anthony J.}, biburl = {https://www.bibsonomy.org/bibtex/2699cbaf75559d49f49037fec1964ea9b/dblp}, booktitle = {FMSEE&T@FM}, crossref = {conf/fm/2015fmseet}, editor = {Bollin, Andreas and Margaria, Tiziana and Perseil, Isabelle}, ee = {https://ceur-ws.org/Vol-1385/paper3.pdf}, interhash = {1c514b4dd9d6704b5bbeb0338d30b248}, intrahash = {699cbaf75559d49f49037fec1964ea9b}, keywords = {dblp}, pages = {11-18}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T13:22:23.000+0200}, title = {The Role of Modelling in Teaching Formal Methods for Software Engineering.}, url = {http://dblp.uni-trier.de/db/conf/fm/fmseet2015.html#Cowling15}, volume = 1385, year = 2015 }