Ab Rahim, L. (2008). Mapping from OCL/UML metamodel to PVS metamodel.
استشهاد بنمط شيكاغو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%.