Stephanie Balzer. Rumer: A programming language and modular verification technique based on relationships. PhD thesis, ETH Zurich, Zürich, Switzerland, 2011. [doi]
No references recorded for this publication.
No citations of this publication recorded.