@inproceedings{mci/Degen2009,
author = {Degen, Markus AND Thiemann, Peter AND Wehr, Stefan},
title = {True lies: Lazy contracts for lazy languages – Faithfulness is better than laziness},
booktitle = {Informatik 2009 – Im Focus das Leben},
year = {2009},
editor = {Fischer, Stefan AND Maehle, Erik AND Reischuk, Rüdiger} ,
pages = { 370-370 },
publisher = {Gesellschaft für Informatik e. V.},
address = {Bonn}
}