Nick Benton, Chung-Kil Hur. Step-Indexing: The Good, the Bad and the Ugly. In Amal Ahmed, Nick Benton, Lars Birkedal, Martin Hofmann 0001, editors, Modelling, Controlling and Reasoning About State, 29.08. - 03.09.2010. Volume 10351 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010. [doi]
@inproceedings{BentonH10,
title = {Step-Indexing: The Good, the Bad and the Ugly},
author = {Nick Benton and Chung-Kil Hur},
year = {2010},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2808/},
researchr = {https://researchr.org/publication/BentonH10},
cites = {0},
citedby = {0},
booktitle = {Modelling, Controlling and Reasoning About State, 29.08. - 03.09.2010},
editor = {Amal Ahmed and Nick Benton and Lars Birkedal and Martin Hofmann 0001},
volume = {10351},
series = {Dagstuhl Seminar Proceedings},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany},
}