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
Citace podle Chicago (17th ed.)Loos, Sarah M., a 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.
Citace podle MLA (9th ed.)Loos, Sarah M., a 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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..