al-Amayreh, Ahmed Abedl Rahman

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)