@inproceedings{mci/Thüm2014,
author = {Thüm, Thomas},
title = {Modular reasoning for crosscutting concerns with contracts},
booktitle = {Software Engineering 2014},
year = {2014},
editor = {Hasselbring, Wilhelm AND Ehmke, Nils Christian} ,
pages = { 65-66 },
publisher = {Gesellschaft für Informatik},
address = {Bonn}
}