jeannetmine09

B. Jeannet, A. Miné. APRON: A Library of Numerical Abstract Domains for Static Analysis. In Computer Aided Verification, CAV'2009, LNCS, Volume 5643, Pages 661-667, 2009.

Note on this paper

\url{http://apron.cri.ensmp.fr/library/}

Contact

Bertrand Jeannet http://pop-art.inrialpes.fr/people/bjeannet/

BibTex Reference

@InProceedings{jeannetmine09,
   Author = {Jeannet, B. and Miné, A.},
   Title = {{APRON}: A Library of Numerical Abstract Domains for Static Analysis},
   BookTitle = {Computer Aided Verification, CAV'2009},
   Volume = {5643},
   Pages = {661--667},
   Series = {LNCS},
   Year = {2009}
}

EndNote Reference [help]

Get EndNote Reference (.ref)