The role of formal methods in today's software industry.
Publisher: University of East London
Published: 1999
Place of publication: London
Language: eng
Notes: Thesis (M.Sc.I.T.)- University of East London, 1999.