@inproceedings{mci/Soeken2014,
author = {Soeken, Mathias},
title = {Formale Spezifikationsebene},
booktitle = {Ausgezeichnete Informatikdissertationen 2013},
year = {2014},
editor = {} ,
pages = { 241-250 },
publisher = {Gesellschaft für Informatik},
address = {Bonn}
}