- UiTM Shah Alam
- UITM Sarawak
- UITM Perlis
- UITM Pulau Pinang
- UITM Sabah
- UiTM Negeri Sembilan
- UiTM Johor
- UITM Melaka
- UITM Pahang
- UITM Kelantan
- UITM Kedah
- UITM Perak
- UITM Terengganu
- UiTM Libraries
Verification, model checking, and abstract interpretation : 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings / Lenore D. Zuck ... [et al.]
Linear
MARC
|
Top