NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security Bayrischzell, Germany, Nipkow, T., Grumberg, O., & Hauptmann, B. (2012). Software safety and security: Tools for analysis and verification. IOS Press.
Copiado correctamente al portapapeles
Error al copiar al portapapeles
Cita Chicago Style (17a ed.)
NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security Bayrischzell, Germany, Tobias Nipkow, Orna Grumberg, y Benedikt Hauptmann. Software Safety and Security: Tools for Analysis and Verification. Washington, D.C.: IOS Press, 2012.
Copiado correctamente al portapapeles
Error al copiar al portapapeles
Cita MLA (9a ed.)
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.
Copiado correctamente al portapapeles
Error al copiar al portapapeles
Precaución: Estas citas no son 100% exactas.