Roadmap for enhanced languages and methods to aid verification
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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.

GPCE 2006
DBLP
Scholar
DOI
Full names Links ISxN
@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,
}

Tags:



Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.