Stefan Huster, Patrick Heckeler, Hanno Eichelberger, Jürgen Ruf, Sebastian Burg, Thomas Kropf, Wolfgang Rosenstiel. More Flexible Object Invariants with Less Specification Overhead. In Dimitra Giannakopoulou, Gwen Salaün, editors, Software Engineering and Formal Methods - 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings. Volume 8702 of Lecture Notes in Computer Science, pages 302-316, Springer, 2014. [doi]
@inproceedings{HusterHERBKR14,
title = {More Flexible Object Invariants with Less Specification Overhead},
author = {Stefan Huster and Patrick Heckeler and Hanno Eichelberger and Jürgen Ruf and Sebastian Burg and Thomas Kropf and Wolfgang Rosenstiel},
year = {2014},
doi = {10.1007/978-3-319-10431-7_25},
url = {http://dx.doi.org/10.1007/978-3-319-10431-7_25},
researchr = {https://researchr.org/publication/HusterHERBKR14},
cites = {0},
citedby = {0},
pages = {302-316},
booktitle = {Software Engineering and Formal Methods - 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings},
editor = {Dimitra Giannakopoulou and Gwen Salaün},
volume = {8702},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-10430-0},
}