APA (7th ed.) Citation

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.

Chicago Style (17th ed.) Citation

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.

MLA (8th ed.) Citation

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