Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}