@inproceedings{mci/   2016,
author = {Unbekannter Autor},
title = {Extracting frame conditions from operation contracts},
booktitle = {Software Engineering 2016},
year = {2016},
editor = {Knoop, Jens AND Zdun, Uwe} ,
pages = { 89-90 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}