Presentation
Formal Testing of Object-Oriented Software: From the Method to the Tool
SRI International, Information and Computing Sciences Division Seminar
(1999)
Disciplines
Publication Date
August, 1999
Citation Information
Cécile Péraire. "Formal Testing of Object-Oriented Software: From the Method to the Tool" SRI International, Information and Computing Sciences Division Seminar (1999) Available at: http://works.bepress.com/cecile_peraire/30/