Popular Press
Formal Testing of Object-Oriented Software: From the Method to the Tool
Ph.D. Thesis, no 1904, Swiss Federal Institute of Technology, Computer Science Department, Lausanne, Switzerland
(1998)
Disciplines
Publication Date
1998
Citation Information
Cécile Péraire. "Formal Testing of Object-Oriented Software: From the Method to the Tool" Ph.D. Thesis, no 1904, Swiss Federal Institute of Technology, Computer Science Department, Lausanne, Switzerland (1998) Available at: http://works.bepress.com/cecile_peraire/17/