Gary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael J. Butler, Alessandro Coglio, Kathi Fisler, Eric C. R. Hehner, Cliff B. Jones, Dale Miller, Simon L. Peyton Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump
Roadmap for enhanced languages and methods to aid verification
GPCE, 2006.
@inproceedings{GPCE-2006-LeavensABBCFHJMJSSS,
author = "Gary T. Leavens and Jean-Raymond Abrial and Don S. Batory and Michael J. Butler and Alessandro Coglio and Kathi Fisler and Eric C. R. Hehner and Cliff B. Jones and Dale Miller and Simon L. Peyton Jones and Murali Sitaraman and Douglas R. Smith and Aaron Stump",
booktitle = "{Proceedings of the Fifth International Conference on Generative Programming and Component Engineering}",
doi = "10.1145/1173706.1173740",
isbn = "1-59593-237-2",
pages = "221--236",
publisher = "{ACM}",
title = "{Roadmap for enhanced languages and methods to aid verification}",
year = 2006,
}