APA (7th ed.) Citation

Menghi, C., Tsigkanos, C., Berger, T., Pelliccione, P., & Ghezzi, C. (2018). Property specification patterns for robotic missions. ICSE: International Conference on Software Engineering, 434. https://doi.org/10.1145/3183440.3195044

Chicago Style (17th ed.) Citation

Menghi, Claudio, Christos Tsigkanos, Thorsten Berger, Patrizio Pelliccione, and Carlo Ghezzi. "Property Specification Patterns for Robotic Missions." ICSE: International Conference on Software Engineering 2018: 434. https://doi.org/10.1145/3183440.3195044.

MLA (9th ed.) Citation

Menghi, Claudio, et al. "Property Specification Patterns for Robotic Missions." ICSE: International Conference on Software Engineering, 2018, p. 434, https://doi.org/10.1145/3183440.3195044.