Pestana, J. M. A. (2010). A JML-Based strategy for incorporating formal specifications into the software development process.
Citação do estilo Chicago (17ª ed.)Pestana, João Miguel Alves. A JML-Based Strategy for Incorporating Formal Specifications into the Software Development Process. 2010.
Citação MLA (8ª ed.)Pestana, João Miguel Alves. A JML-Based Strategy for Incorporating Formal Specifications into the Software Development Process. 2010.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.