%0 Conference Paper %1 conf/sigcse/GerhartHMT83 %A Gerhart, Susan L. %A Hehner, Eric C. R. %A Mills, Harlan D. %A Turner, A. Joe %B SIGCSE %D 1983 %E Cottrell, Larry K. %E Lang, Sheau-Dong %E Turner, A. Joe %I ACM %K dblp %P 50 %T Teaching formal methods for program development and verification (Panel Session). %U http://dblp.uni-trier.de/db/conf/sigcse/sigcse1983.html#GerhartHMT83 %@ 978-0-89791-091-0

@inproceedings{conf/sigcse/GerhartHMT83, added-at = {2021-03-24T00:00:00.000+0100}, author = {Gerhart, Susan L. and Hehner, Eric C. R. and Mills, Harlan D. and Turner, A. Joe}, biburl = {https://www.bibsonomy.org/bibtex/2e33f222311a6f9b7b223f496f7bc4f37/dblp}, booktitle = {SIGCSE}, crossref = {conf/sigcse/1983}, editor = {Cottrell, Larry K. and Lang, Sheau-Dong and Turner, A. Joe}, ee = {https://doi.org/10.1145/952978.801011}, interhash = {4c853e2e5a5d83ce8454337e8385bf69}, intrahash = {e33f222311a6f9b7b223f496f7bc4f37}, isbn = {978-0-89791-091-0}, keywords = {dblp}, pages = 50, publisher = {ACM}, timestamp = {2024-04-09T17:34:43.000+0200}, title = {Teaching formal methods for program development and verification (Panel Session).}, url = {http://dblp.uni-trier.de/db/conf/sigcse/sigcse1983.html#GerhartHMT83}, year = 1983 }