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]
No reviews for this publication, yet.