The ASTREÉ Analyzer
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
The ASTREÉ Analyzer
ESOP, 2005.

ESOP 2005
Full names Links ISxN
	author        = "Patrick Cousot and Radhia Cousot and Jérôme Feret and Laurent Mauborgne and Antoine Miné and David Monniaux and Xavier Rival",
	booktitle     = "{Proceedings of the 14th European Symposium on Programming}",
	doi           = "10.1007/978-3-540-31987-0_3",
	editor        = "Shmuel Sagiv",
	isbn          = "3-540-25435-8",
	pages         = "21--30",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{The ASTREÉ Analyzer}",
	volume        = 3444,
	year          = 2005,

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.