APA (7th ed.) Citation

Zhang, L., He, W., Martinez, J., Brackenbury, N., Lu, S., & Ur, B. (2019). AutoTap: Synthesizing and Repairing Trigger-Action Programs Using LTL Properties. ICSE: International Conference on Software Engineering, 281. https://doi.org/10.1109/ICSE.2019.00043

Chicago Style (17th ed.) Citation

Zhang, Lefan, Weijia He, Jesse Martinez, Noah Brackenbury, Shan Lu, and Blase Ur. "AutoTap: Synthesizing and Repairing Trigger-Action Programs Using LTL Properties." ICSE: International Conference on Software Engineering 2019: 281. https://doi.org/10.1109/ICSE.2019.00043.

MLA (9th ed.) Citation

Zhang, Lefan, et al. "AutoTap: Synthesizing and Repairing Trigger-Action Programs Using LTL Properties." ICSE: International Conference on Software Engineering, 2019, p. 281, https://doi.org/10.1109/ICSE.2019.00043.