APA (7th ed.) Citation

JAKOBS, M., & WEHRHEIM, H. (2017). Programs from Proofs: A Framework for the Safe Execution of Untrusted Software. ACM Transactions on Programming Languages & Systems, 39(2), 7. https://doi.org/10.1145/3014427

Chicago Style (17th ed.) Citation

JAKOBS, MARIE-CHRISTINE, and HEIKE WEHRHEIM. "Programs from Proofs: A Framework for the Safe Execution of Untrusted Software." ACM Transactions on Programming Languages & Systems 39, no. 2 (2017): 7. https://doi.org/10.1145/3014427.

MLA (9th ed.) Citation

JAKOBS, MARIE-CHRISTINE, and HEIKE WEHRHEIM. "Programs from Proofs: A Framework for the Safe Execution of Untrusted Software." ACM Transactions on Programming Languages & Systems, vol. 39, no. 2, 2017, p. 7, https://doi.org/10.1145/3014427.