APA引文

Ab Rahim, L. (2008). Mapping from OCL/UML metamodel to PVS metamodel.

Chicago Style Citation

Ab Rahim, Lukman. Mapping From OCL/UML Metamodel to PVS Metamodel. 2008.

MLA引文

Ab Rahim, Lukman. Mapping From OCL/UML Metamodel to PVS Metamodel. 2008.

警告：这些引文格式不一定是100％准确.