%0 Conference Paper %1 journals/corr/KoenigL16 %A Koenig, Jason %A Leino, K. Rustan M. %B Refine@FM %D 2015 %E Derrick, John %E Boiten, Eerke A. %E Reeves, Steve %K dblp %P 87-106 %T Programming Language Features for Refinement. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs209.html#KoenigL16 %V 209

@inproceedings{journals/corr/KoenigL16, added-at = {2018-09-12T00:00:00.000+0200}, author = {Koenig, Jason and Leino, K. Rustan M.}, biburl = {https://www.bibsonomy.org/bibtex/28b69cdc999657a3bf3af831805f9424b/dblp}, booktitle = {Refine@FM}, crossref = {journals/corr/DerrickBR16}, editor = {Derrick, John and Boiten, Eerke A. and Reeves, Steve}, ee = {http://arxiv.org/abs/1606.02022}, interhash = {e63f0a20bf64b0d2eb65772df15c0083}, intrahash = {8b69cdc999657a3bf3af831805f9424b}, keywords = {dblp}, pages = {87-106}, series = {EPTCS}, timestamp = {2024-04-09T09:29:27.000+0200}, title = {Programming Language Features for Refinement.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs209.html#KoenigL16}, volume = 209, year = 2015 }