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.
Successfully copied to clipboard
Copying to clipboard failed
Chicago Style (17th ed.) Citation
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, and Benedikt Hauptmann. Software Safety and Security: Tools for Analysis and Verification. Washington, D.C.: IOS Press, 2012.
Successfully copied to clipboard
Copying to clipboard failed
MLA引文
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.
Successfully copied to clipboard
Copying to clipboard failed
警告:這些引文格式不一定是100%准確.