%0 Conference Paper %1 conf/oopsla/Leino12 %A Leino, K. Rustan M. %B SPLASH %D 2012 %E Leavens, Gary T. %I ACM %K dblp %P 3-4 %T Staged program development. %U http://dblp.uni-trier.de/db/conf/oopsla/splash2012.html#Leino12 %@ 978-1-4503-1563-0

@inproceedings{conf/oopsla/Leino12, added-at = {2018-11-06T00:00:00.000+0100}, author = {Leino, K. Rustan M.}, biburl = {https://www.bibsonomy.org/bibtex/20522f654160f88a57def6ba5c41ebe24/dblp}, booktitle = {SPLASH}, crossref = {conf/oopsla/2012s}, editor = {Leavens, Gary T.}, ee = {https://doi.org/10.1145/2384716.2384719}, interhash = {60c1818e00168f22f72b67f15ceae120}, intrahash = {0522f654160f88a57def6ba5c41ebe24}, isbn = {978-1-4503-1563-0}, keywords = {dblp}, pages = {3-4}, publisher = {ACM}, timestamp = {2024-04-09T11:43:44.000+0200}, title = {Staged program development.}, url = {http://dblp.uni-trier.de/db/conf/oopsla/splash2012.html#Leino12}, year = 2012 }