Assisted Generation of Frame Conditions for Formal Models

@inproceedings{pub7714,
    author = {

Niemann, Philipp
 and 

Hilken, Frank
 and 

Gogolla, Martin
 and 

Wille, Robert
},
    title = {Assisted Generation of Frame Conditions for Formal Models},
    booktitle = {Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE). Design, Automation & Test in Europe (DATE-15), March 9-13, Grenoble, France},
    year = {2015},
    isbn = {978-3-9815370-4-8}
}