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.

This list was generated on Thu Nov 3 23:32:50 2022 +08.