Searching for authors named "Joost Jacob" – sorted by Relevance.
-
Formalizing UML Models and OCL Constraints in PVS
- -Albrechts-Universität zu Kiel, Germany Frank S. de Boer and Joost Jacob 3 CWI Amsterdam, The Netherlands Jozef Hooman
- Add To MetaCart

