Citação norma APA

Campos, J. C., Sousa, M., Alves, M. C. B., & Harrison, M. d. (2016). Formal verification of a space system's user Interface with the IVY workbench.

Citação norma Chicago

Campos, José C., Manuel Sousa, Miriam C. Bergue Alves, and Michael douglas Harrison. Formal Verification of a Space System's User Interface with the IVY Workbench. 2016.

Citação norma MLA

Campos, José C., et al. Formal Verification of a Space System's User Interface with the IVY Workbench. 2016.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.