Pestana, J. M. A. (2010). A JML-Based strategy for incorporating formal specifications into the software development process.
Chicago Style (17th ed.) CitationPestana, João Miguel Alves. A JML-Based Strategy for Incorporating Formal Specifications into the Software Development Process. 2010.
MLA (8th ed.) CitationPestana, João Miguel Alves. A JML-Based Strategy for Incorporating Formal Specifications into the Software Development Process. 2010.
Warning: These citations may not always be 100% accurate.