About this scholarly article

Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity - SPLASH Companion 2015 - The Oprop verification tool: object propositions in action by Nistor, Ligia is a scholarly article available to read on EtoBox.

Author

Nistor, Ligia

Publisher

ACM Press

Published

2015