APA (7th ed.) Citation

Loos, S. M., & Platzer, A. (2016, July 5). Differential Refinement Logic. Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 505-514. https://doi.org/10.1145/2933575.2934555

Chicago Style (17th ed.) Citation

Loos, Sarah M., and André Platzer. "Differential Refinement Logic." Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science 5 Jul. 2016: 505-514. https://doi.org/10.1145/2933575.2934555.

MLA (9th ed.) Citation

Loos, Sarah M., and André Platzer. "Differential Refinement Logic." Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 5 Jul. 2016, pp. 505-514, https://doi.org/10.1145/2933575.2934555.