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]
@inproceedings{Nistor15,
title = {The Oprop verification tool: object propositions in action},
author = {Ligia Nistor},
year = {2015},
doi = {10.1145/2814189.2815370},
url = {http://doi.acm.org/10.1145/2814189.2815370},
researchr = {https://researchr.org/publication/Nistor15},
cites = {0},
citedby = {0},
pages = {89-90},
booktitle = {Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity},
editor = {Jonathan Aldrich and Patrick Eugster},
publisher = {ACM},
isbn = {978-1-4503-3722-9},
}