Combining Verification and Validation techniques

Erwan Bousse
January, 2013
Preprint
Type
Conference paper
Publication
PhD Students Workshop of the ECMFA, ECOOP and ECSA 2013 Doctoral Symposium