Olaf Owe
Reasoning About Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems
IFM, 2016.
@inproceedings{IFM-2016-Owe, author = "Olaf Owe", booktitle = "{Proceedings of the 12th International Conference on Integrated Formal Methods}", doi = "10.1007/978-3-319-33693-0_14", isbn = "978-3-319-33692-3", pages = "210--225", publisher = "{Springer}", title = "{Reasoning About Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems}", year = 2016, }