TTests and ProofsTests and Proofsde Bertrand Meyer, Yuri GurevichMateriasComputer software, reliabilityComputer software, quality controlEdiciones (1)Tests and Proofs (2007)Springer London, Limited · inglés · ISBN 9783540737704Más obras de Bertrand MeyerLLes dames de l'ElyséeLes dames de l'Elysée1995