al-Amayreh, Ahmed Abedl Rahman <br/><br/>
Probe :  a formal specification-based testing system / 
Ahmad Abedl Rahman Al-amayreh 
 - Bangi :  Fakulti Teknologi dan Sains Maklumat,  Universiti Kebangsaan Malaysia,  1997. 
 - 118 p.  :  ill. ;  30 cm. 
<br/><br/>Thesis ( M.Sc.) - Universiti Kebangsaan Malaysia, 1997 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Testing.<br/>PROBE Project.<br/>Prolog (Computer program language).