NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security Bayrischzell, Germany, NATO Emerging Security Challenges Division, ebrary, Inc, Nipkow, T., Grumberg, O., & Hauptmann, B. (2012). Software safety and security: Tools for analysis and verification. IOS Press.
Copié avec succès vers le presse-papier
Échec de la copie vers le presse-papier
Style de citation Chicago (17e éd.)
NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security Bayrischzell, Germany, NATO Emerging Security Challenges Division, Inc ebrary, Tobias Nipkow, Orna Grumberg, et Benedikt Hauptmann. Software Safety and Security: Tools for Analysis and Verification. Washington, D.C.: IOS Press, 2012.
Copié avec succès vers le presse-papier
Échec de la copie vers le presse-papier
Style de citation MLA (9e éd.)
NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security Bayrischzell, Germany, et al. Software Safety and Security: Tools for Analysis and Verification. IOS Press, 2012.
Copié avec succès vers le presse-papier
Échec de la copie vers le presse-papier
Attention : ces citations peuvent ne pas être correctes à 100%.