Publication
Extraktion von Frame Conditions aus Operation Contracts
Philipp Niemann; Frank Hilken; Martin Gogolla; Robert Wille
In: SE Software Engineering für Smart Cities. Software Engineering für Smart Cities (SE-2016), February 23-26, Wien, Austria, 2016.