Mapping from OCL/UML metamodel to PVS metamodel Conference Paper

http://dx.doi.org/10.1109/itsim.2008.4631599

authors

AB Rahim, Lukman bin

publication date

2008

Digital Object Identifier (DOI)

https://doi.org/10.1109/itsim.2008.4631599