👤

Rosemary Monahan

2 books

Books by Rosemary Monahan

Proceedings of the 17th Worksh
Proceedings of the 17th Workshop on Formal Techniques for Java-Like Programs
2015
Integrated Formal Methods
Integrated Formal Methods
2005