Probe a formal specification-based testing system / [microform] :
Ahmad Abedl Rahman al-Amayreh
- Bangi : Perpustakaan Tun Seri Lanang, 1997
- 1 microfilm reel ; 35 mm.
Thesis ( M.Sc.) - Universiti Kebangsaan Malaysia, 1997
Computer software--Testing PROBE Project Prolog (Computer program language)