%0 Conference Paper %1 conf/csee/Garlan92 %A Garlan, David %B CSEE %D 1992 %E Sledge, Carol A. %I Springer %K dblp %P 131-142 %T Formal Methods for Software Engineers: Tradeoffs in Curriculum Design. %U http://dblp.uni-trier.de/db/conf/csee/csee1992.html#Garlan92 %V 640 %@ 3-540-55963-9

@inproceedings{conf/csee/Garlan92, added-at = {2017-05-17T00:00:00.000+0200}, author = {Garlan, David}, biburl = {https://www.bibsonomy.org/bibtex/26e6e4373e62e4d74da46bfb1fccb0567/dblp}, booktitle = {CSEE}, crossref = {conf/csee/1992}, editor = {Sledge, Carol A.}, ee = {https://doi.org/10.1007/3-540-55963-9_45}, interhash = {e64c56b45e13b5e5c62f9cbad577b92d}, intrahash = {6e6e4373e62e4d74da46bfb1fccb0567}, isbn = {3-540-55963-9}, keywords = {dblp}, pages = {131-142}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:43:19.000+0200}, title = {Formal Methods for Software Engineers: Tradeoffs in Curriculum Design.}, url = {http://dblp.uni-trier.de/db/conf/csee/csee1992.html#Garlan92}, volume = 640, year = 1992 }