%0 Conference Paper %1 conf/csee/SobelSSH00 %A Sobel, Ann E. Kelley %A Saiedian, Hossein %A Stavely, Allan M. %A Henderson, Peter B. %B CSEE&T %D 2000 %I IEEE Computer Society %K dblp %P 55- %T Teaching Formal Methods Early in the Software Engineering Curriculum (panel). %U http://dblp.uni-trier.de/db/conf/csee/csee2000.html#SobelSSH00 %@ 0-7695-0421-3

@inproceedings{conf/csee/SobelSSH00, added-at = {2024-05-07T00:00:00.000+0200}, author = {Sobel, Ann E. Kelley and Saiedian, Hossein and Stavely, Allan M. and Henderson, Peter B.}, biburl = {https://www.bibsonomy.org/bibtex/2e0cc5a98f526a240a5239e523576d917/dblp}, booktitle = {CSEE&T}, crossref = {conf/csee/2000}, ee = {https://doi.ieeecomputersociety.org/10.1109/CSEE.2000.827022}, interhash = {c3b2cc542f167d049fa538dcdc9cfbf7}, intrahash = {e0cc5a98f526a240a5239e523576d917}, isbn = {0-7695-0421-3}, keywords = {dblp}, pages = {55-}, publisher = {IEEE Computer Society}, timestamp = {2024-05-13T09:35:17.000+0200}, title = {Teaching Formal Methods Early in the Software Engineering Curriculum (panel).}, url = {http://dblp.uni-trier.de/db/conf/csee/csee2000.html#SobelSSH00}, year = 2000 }