@inproceedings{mci/Leucker2008,
author = {Leucker, Martin AND Seidl, Helmut},
title = {Lightweight Verification 2008},
booktitle = {INFORMATIK 2008. Beherrschbare Systeme - dank Informatik. Band 2},
year = {2008},
editor = {Hegering, Heinz-Gerd AND Lehmann, Axel AND Ohlbach, Hans Jürgen AND Scheideler, Christian} ,
pages = { 965-966 },
publisher = {Gesellschaft für Informatik e. V.},
address = {Bonn}
}