Search

Your search keyword '"Hooman, J."' showing total 3 results
Start Over Author "Hooman, J." Publisher elsevier
3 results on '"Hooman, J."'

3. Formalizing UML Models and OCL Constraints in PVS

Author

Kyas, M., Fecher, H., Boer, F.S. (Frank) de, Jacob, J.F. (Joost), Hooman, J., Zwaag, M.B. van der, Arons, T., Kugler, H., Kyas, M., Fecher, H., Boer, F.S. (Frank) de, Jacob, J.F. (Joost), Hooman, J., Zwaag, M.B. van der, Arons, T., and Kugler, H.

Published
2005

Catalog

Books, media, physical & digital resources
See catalog results