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

by Gary T Leavens, Jean-Raymond Abrial, Don Batory, Michael Butler, Alessandro Coglio, Kathi Fisler, Eric Hehner, Cliff Jones, Dale Miller, Simon Peyton-Jones, Murali Sitaraman, Douglas R Smith, Aaron Stump
Venue:In Fifth Intl. Conf. Generative Programming and Component Engineering (GPCE 2006