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 do estilo Chicago (17ª ed.)Campos, José C., Manuel Sousa, Miriam C. Bergue Alves, e Michael douglas Harrison. Formal Verification of a Space System's User Interface with the IVY Workbench. 2016.
Citação MLA (8ª ed.)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.