SSystems and Software VerificationSystems and Software Verificationde B. Berard, M. Bidoit, P. McKenzieEdiciones (1)Systems and Software Verification (2014)Springer · ISBN 9783662045596