Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille
Assisted generation of frame conditions for formal models
DATE, 2015.
@inproceedings{DATE-2015-NiemannHGW,
acmid = "2755822",
author = "Philipp Niemann and Frank Hilken and Martin Gogolla and Robert Wille",
booktitle = "{Proceedings of the 19th Conference and Exhibition on Design, Automation and Test in Europe}",
isbn = "978-3-9815370-4-8",
pages = "309--312",
publisher = "{ACM}",
title = "{Assisted generation of frame conditions for formal models}",
year = 2015,
}