%0 Conference Paper %1 journals/corr/abs-1202-4829 %A Back, Ralph-Johan %A Eriksson, Johannes %B ThEdu %D 2011 %E Quaresma, Pedro %E Back, Ralph-Johan %K dblp %P 29-48 %T An Exercise in Invariant-based Programming with Interactive and Automatic Theorem Prover Support %U http://dblp.uni-trier.de/db/series/eptcs/eptcs79.html#abs-1202-4829 %V 79

@inproceedings{journals/corr/abs-1202-4829, added-at = {2021-11-22T00:00:00.000+0100}, author = {Back, Ralph-Johan and Eriksson, Johannes}, biburl = {https://www.bibsonomy.org/bibtex/20f37488345bb2feaad9be6218db92829/dblp}, booktitle = {ThEdu}, crossref = {journals/corr/abs-1202-4535}, editor = {Quaresma, Pedro and Back, Ralph-Johan}, ee = {http://arxiv.org/abs/1202.4829}, interhash = {32f60fc78a12cdcf4dd44e27c9b7f810}, intrahash = {0f37488345bb2feaad9be6218db92829}, keywords = {dblp}, pages = {29-48}, series = {EPTCS}, timestamp = {2024-04-09T09:30:27.000+0200}, title = {An Exercise in Invariant-based Programming with Interactive and Automatic Theorem Prover Support}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs79.html#abs-1202-4829}, volume = 79, year = 2011 }