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

by Abrial J R Batory D Butler M Coglio A Fisler K Hehner E Jones C B Miller D Peyton-Jones S Sitaraman M Smith D R Leavens, G T, A Stump
Venue:In Proc. 5th Int. Conf. Generative Programming and Component Engineering