Stephanie Balzer, Thomas R. Gross. Verifying Multi-object Invariants with Relationships. In Mira Mezini, editor, ECOOP 2011 - Object-Oriented Programming - 25th European Conference, Lancaster, UK, July 25-29, 2011 Proceedings. Volume 6813 of Lecture Notes in Computer Science, pages 358-382, Springer, 2011. [doi]
@inproceedings{BalzerG11, title = {Verifying Multi-object Invariants with Relationships}, author = {Stephanie Balzer and Thomas R. Gross}, year = {2011}, doi = {10.1007/978-3-642-22655-7_17}, url = {http://dx.doi.org/10.1007/978-3-642-22655-7_17}, tags = {meta-model, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/BalzerG11}, cites = {0}, citedby = {0}, pages = {358-382}, booktitle = {ECOOP 2011 - Object-Oriented Programming - 25th European Conference, Lancaster, UK, July 25-29, 2011 Proceedings}, editor = {Mira Mezini}, volume = {6813}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-22654-0}, }