Roadmap for enhanced languages and methods to aid verification.
Gary T. LeavensJean-Raymond AbrialDon S. BatoryMichael J. ButlerAlessandro CoglioKathi FislerEric C. R. HehnerCliff B. JonesDale MillerSimon L. Peyton JonesMurali SitaramanDouglas R. SmithAaron StumpPublished in: GPCE (2006)