APA (7th ed.) Citation

Come, D., Brunel, J., & Doose, D. (2018, January). Improving Code Quality in ROS Packages Using a Temporal Extension of First-Order Logic. 2018 Second IEEE International Conference on Robotic Computing (IRC), 1-8. https://doi.org/10.1109/IRC.2018.00010

Chicago Style (17th ed.) Citation

Come, David, Julien Brunel, and David Doose. "Improving Code Quality in ROS Packages Using a Temporal Extension of First-Order Logic." 2018 Second IEEE International Conference on Robotic Computing (IRC) Jan. 2018: 1-8. https://doi.org/10.1109/IRC.2018.00010.

MLA (9th ed.) Citation

Come, David, et al. "Improving Code Quality in ROS Packages Using a Temporal Extension of First-Order Logic." 2018 Second IEEE International Conference on Robotic Computing (IRC), Jan. 2018, pp. 1-8, https://doi.org/10.1109/IRC.2018.00010.