Ligia Nistor. The Oprop verification tool: object propositions in action. In Jonathan Aldrich, Patrick Eugster, editors, Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity. pages 89-90, ACM, 2015. [doi]
Abstract is missing.