Formal approaches to software testing：Third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers

Corporate Authors: FATES 2003 (2003 Montraeal, Quaebec); IEEE International Automated Software Engineering Conference 2003 Montraeal, Quaebec) (Montraeal, Quaebec))
Group Author: Ulrich Andreas, Dr. Ing.; Petrenko Alexandre.
Published: Springer-Verlag,
Publication Dates: c2004.
Call Number: TP31-532/I618-1/2003