Grumberg, O., Nipkow, T., & Pfaller, C. (2024, May 24). Formal logical methods for system security and correctness. NATO security through science series. D, Information and communication security, v. 14.
Chicago Style CitationGrumberg, Orna., Tobias Nipkow, and Christian Pfaller. "Formal Logical Methods for System Security and Correctness." NATO Security Through Science Series. D, Information and Communication Security, V. 14 24 May. 2024.
MLA CitationGrumberg, Orna., Tobias Nipkow, and Christian Pfaller. "Formal Logical Methods for System Security and Correctness." NATO Security Through Science Series. D, Information and Communication Security, V. 14 24 May. 2024.
Warning: These citations may not always be 100% accurate.