%0 Conference Paper %1 conf/zum/Garlan94 %A Garlan, David %B Z User Workshop %D 1994 %E Bowen, Jonathan P. %E Hall, J. Anthony %I Springer/BCS %K dblp %P 71-85 %T Integrating Formal Methods into a Professional Master of Software Engineering Program. %U http://dblp.uni-trier.de/db/conf/zum/zum1994.html#Garlan94 %@ 3-540-19884-9

@inproceedings{conf/zum/Garlan94, added-at = {2014-02-11T00:00:00.000+0100}, author = {Garlan, David}, biburl = {https://www.bibsonomy.org/bibtex/2b799a08052842cb46e7f90638722bcb8/dblp}, booktitle = {Z User Workshop}, crossref = {conf/zum/1994}, editor = {Bowen, Jonathan P. and Hall, J. Anthony}, interhash = {286be7690e453dfa04a4befd6f7d2acf}, intrahash = {b799a08052842cb46e7f90638722bcb8}, isbn = {3-540-19884-9}, keywords = {dblp}, pages = {71-85}, publisher = {Springer/BCS}, series = {Workshops in Computing}, timestamp = {2017-05-20T01:59:55.000+0200}, title = {Integrating Formal Methods into a Professional Master of Software Engineering Program.}, url = {http://dblp.uni-trier.de/db/conf/zum/zum1994.html#Garlan94}, year = 1994 }