APA (7th ed.) Citation

Araujo, C., Cavalcante, E., Batista, T., Oliveira, M., & Oquendo, F. (2019). A Research Landscape on Formal Verification of Software Architecture Descriptions. IEEE access, 7, 171752-171764. https://doi.org/10.1109/ACCESS.2019.2953858

Chicago Style (17th ed.) Citation

Araujo, Camila, Everton Cavalcante, Thais Batista, Marcel Oliveira, and Flavio Oquendo. "A Research Landscape on Formal Verification of Software Architecture Descriptions." IEEE Access 7 (2019): 171752-171764. https://doi.org/10.1109/ACCESS.2019.2953858.

MLA (9th ed.) Citation

Araujo, Camila, et al. "A Research Landscape on Formal Verification of Software Architecture Descriptions." IEEE Access, vol. 7, 2019, pp. 171752-171764, https://doi.org/10.1109/ACCESS.2019.2953858.