Fundamental approaches to software engineering / Michel Wermelinger, 2004
Leveraging applications of formal methods, verification, and validation : ISola 2010
/ Tiziana Margaria, Bernhard Steffen. - Springer, 2010
http://authorities.loc.gov/, site internet consulté le 2011-01-12
Information trouvée : date de naissance (1964-10-14)