Nunes, C. A. L., & Paiva, A. C. R. (2011). Automatic Generation of GUI Interfaces from VDM++ Specifications: VDM++ GUI Builder.
Citação do estilo Chicago (17ª ed.)Nunes, Carlos A. L., e Ana C. R. Paiva. Automatic Generation of GUI Interfaces from VDM++ Specifications: VDM++ GUI Builder. 2011.
Citação MLA (8ª ed.)Nunes, Carlos A. L., e Ana C. R. Paiva. Automatic Generation of GUI Interfaces from VDM++ Specifications: VDM++ GUI Builder. 2011.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.