Extraktion von Frame Conditions aus Operation Contracts

@inproceedings{pub8285,
    author = {

Niemann, Philipp
 and 

Hilken, Frank
 and 

Gogolla, Martin
 and 

Wille, Robert
},
    title = {Extraktion von Frame Conditions aus Operation Contracts},
    booktitle = {SE Software Engineering für Smart Cities. Software Engineering für Smart Cities (SE-2016), February 23-26, Wien, Austria},
    year = {2016}
}