Automated interactive software verification and synthesis.
Contributors: Brunel University. Department of Electrical Engineering and Electronics.
Publisher: Brunel University
Published: 1992
Place of publication: Uxbridge
Language: eng
Number of pages: 210
Notes: BLL no. DX171421.

Thesis (Ph.D.) - Brunel University.