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

by G T Leavens, J 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 Proc. of GPCE