Roadmap for enhanced languages and methods to aid verification (2006)

by G T Leavens, J-R Abrial, D S Batory, M J Butler, A Coglio, K Fisler, E C R Hehner, C B Jones, D Miller, S L P Jones, M Sitaraman, D R Smith, A Stump