Using formal specifications to enhance the software testing process.
Contributors: Brunel University. Department of Computer Science.
Publisher: Brunel University
Published: 1992
Place of publication: Uxbridge
Language: eng
Number of pages: 191
Notes: BLL no. DX 172494.

Thesis (Ph.D.) - Brunel University.