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, A Stump
Venue:In GPCE ’06: Proceedings of the 5th international conference on Generative programming and component engineering