Inproceedings,
The ASTREÉ Analyzer.
P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné, D. Monniaux, and X. Rival.ESOP, volume 3444 of Lecture Notes in Computer Science, page 21-30. Springer, (2005)
Meta data
- BibTeX key
- conf/esop/CousotCFMMMR05
- entry type
- inproceedings
- booktitle
- ESOP
- year
- 2005
- pages
- 21-30
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 3444
- crossref
- conf/esop/2005
- ee
- https://doi.org/10.1007/978-3-540-31987-0_3
- isbn
- 3-540-25435-8
- url
- http://dblp.uni-trier.de/db/conf/esop/esop2005.html#CousotCFMMMR05
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/esop/CousotCFMMMR05
%A Cousot, Patrick
%A Cousot, Radhia
%A Feret, Jérôme
%A Mauborgne, Laurent
%A Miné, Antoine
%A Monniaux, David
%A Rival, Xavier
%B ESOP
%D 2005
%E Sagiv, Shmuel
%I Springer
%K
%P 21-30
%T The ASTREÉ Analyzer.
%U http://dblp.uni-trier.de/db/conf/esop/esop2005.html#CousotCFMMMR05
%V 3444
%@ 3-540-25435-8
@inproceedings{conf/esop/CousotCFMMMR05,
added-at = {2023-12-13T02:44:15.000+0100},
author = {Cousot, Patrick and Cousot, Radhia and Feret, Jérôme and Mauborgne, Laurent and Miné, Antoine and Monniaux, David and Rival, Xavier},
biburl = {https://www.bibsonomy.org/bibtex/269083dc9b401c9c013eceefd19a31868/admin},
booktitle = {ESOP},
crossref = {conf/esop/2005},
editor = {Sagiv, Shmuel},
ee = {https://doi.org/10.1007/978-3-540-31987-0_3},
interhash = {82ecd641324d32674769aadcc91e6692},
intrahash = {69083dc9b401c9c013eceefd19a31868},
isbn = {3-540-25435-8},
keywords = {},
pages = {21-30},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2023-12-13T02:44:15.000+0100},
title = {The ASTREÉ Analyzer.},
url = {http://dblp.uni-trier.de/db/conf/esop/esop2005.html#CousotCFMMMR05},
volume = 3444,
year = 2005
}