![](/img/cover-not-exists.png)
[IEEE 2007 IEEE International Multitopic Conference (INMIC) - Lahore, Pakistan (2007.12.28-2007.12.30)] 2007 IEEE International Multitopic Conference - An Accessible Formal Specification of the UML and OCL Meta-Model in Isabelle/HOL
Ali, Tamleek, Nauman, Mohammad, Alam, MasoomYear:
2007
Language:
english
DOI:
10.1109/inmic.2007.4557693
File:
PDF, 273 KB
english, 2007