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

by G T Leavens, J R Abrial, D Batory, M Butler, A Coglio, K Fisler, E Hehner, C Jones, D Miller, S Peyton-Jones, M Sitaraman, D R Smith, Stump
Venue:In: Fifth Intl. Conf. Generative Programming and Component Engineering (GPCE 2006), ACM