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.
Успішно скопійовано в буфер обміну
Не вдалося скопіювати в буфер обміну
Чикаго стиль цитування (17-те видання)
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, та Benedikt Hauptmann. Software Safety and Security: Tools for Analysis and Verification. Washington, D.C.: IOS Press, 2012.
Успішно скопійовано в буфер обміну
Не вдалося скопіювати в буфер обміну
Стиль цитування MLA (9-ме видання)
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.
Успішно скопійовано в буфер обміну
Не вдалося скопіювати в буфер обміну
Попередження: стилі цитування не завжди правильні на всі 100%.