TY  - BOOK
AU  - al-Amayreh,Ahmed Abedl Rahman
TI  - Probe: a formal specification-based testing system 
PY  - 1997///
CY  - Bangi
PB  - Fakulti Teknologi dan Sains Maklumat,  Universiti Kebangsaan Malaysia
KW  - Computer software
KW  - Testing
KW  - PROBE Project
KW  - Prolog (Computer program language)
N1  - Thesis ( M.Sc.) - Universiti Kebangsaan Malaysia, 1997
ER  -