Citação norma APA

Pestana, J. M. A. (2010). A JML-Based strategy for incorporating formal specifications into the software development process.

Citação norma Chicago

Pestana, João Miguel Alves. A JML-Based Strategy for Incorporating Formal Specifications into the Software Development Process. 2010.

Citação norma MLA

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.