Case Study in JML-Based Software Validation
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet
Case Study in JML-Based Software Validation
ASE, 2004.

ASE 2004
Full names Links ISxN
	author        = "Lydie du Bousquet and Yves Ledru and Olivier Maury and Catherine Oriat and Jean-Louis Lanet",
	booktitle     = "{Proceedings of the 19th IEEE International Conference on Automated Software Engineering}",
	doi           = "10.1109/ASE.2004.10000",
	isbn          = "0-7695-2131-2",
	pages         = "294--297",
	publisher     = "{IEEE Computer Society}",
	title         = "{Case Study in JML-Based Software Validation}",
	year          = 2004,


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.