%0 Conference Paper %1 conf/sigcse/SitaramanW14 %A Sitaraman, Murali %A Weide, Bruce W. %B SIGCSE %D 2014 %E Dougherty, J. D. %E Nagel, Kris %E Decker, Adrienne %E Eiselt, Kurt %I ACM %K dblp %P 625-626 %T Special session: "hands-on" tutorial: teaching software correctness with RESOLVE. %U http://dblp.uni-trier.de/db/conf/sigcse/sigcse2014.html#SitaramanW14 %@ 978-1-4503-2605-6

@inproceedings{conf/sigcse/SitaramanW14, added-at = {2018-11-06T00:00:00.000+0100}, author = {Sitaraman, Murali and Weide, Bruce W.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/28af39ae639d4d1ad2b911b25062b922a/dblp}, booktitle = {SIGCSE}, crossref = {conf/sigcse/2014}, editor = {Dougherty, J. D. and Nagel, Kris and Decker, Adrienne and Eiselt, Kurt}, ee = {https://doi.org/10.1145/2538862.2538987}, interhash = {52f8320a8913e1b46fd501de8150f787}, intrahash = {8af39ae639d4d1ad2b911b25062b922a}, isbn = {978-1-4503-2605-6}, keywords = {dblp}, pages = {625-626}, publisher = {ACM}, timestamp = {2019-09-27T19:12:05.000+0200}, title = {Special session: "hands-on" tutorial: teaching software correctness with RESOLVE.}, url = {http://dblp.uni-trier.de/db/conf/sigcse/sigcse2014.html#SitaramanW14}, year = 2014 }