Items where Author is "Ab. Rahim, Lukman"
Group by: Item Type | No Grouping
Number of items: 1.
Ab. Rahim, Lukman (2007) Transforming OCL to PVS: Using Theorem Proving Support for Analysing Model Constraints. Masters thesis, Universiti Teknologi Petronas.