APA Citation

Ruan Wei Cong. (2008). Tracking the proof and correctness between abstract and concrete specification using Z language. Nilai: INTI Internation University College Malaysia.

Chicago Style Citation

Ruan Wei Cong. Tracking the Proof and Correctness between Abstract and Concrete Specification Using Z Language. Nilai: INTI Internation University College Malaysia, 2008.

MLA Citation

Ruan Wei Cong. Tracking the Proof and Correctness between Abstract and Concrete Specification Using Z Language. Nilai: INTI Internation University College Malaysia, 2008.

Warning: These citations may not always be 100% accurate.