APA (7th ed.) Citation

Bettassa Copet, P., & Sisto, R. (2014). Automated Formal Verification of Application-specific Security Properties. Engineering Secure Software & Systems: 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings, 45. https://doi.org/10.1007/978-3-319-04897-0_4

Chicago Style (17th ed.) Citation

Bettassa Copet, Piergiuseppe, and Riccardo Sisto. "Automated Formal Verification of Application-specific Security Properties." Engineering Secure Software & Systems: 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings 2014: 45. https://doi.org/10.1007/978-3-319-04897-0_4.

MLA (9th ed.) Citation

Bettassa Copet, Piergiuseppe, and Riccardo Sisto. "Automated Formal Verification of Application-specific Security Properties." Engineering Secure Software & Systems: 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings, 2014, p. 45, https://doi.org/10.1007/978-3-319-04897-0_4.