External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 1

PDF

Tags

Bibliographies

    Researchr

    Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

    Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

    Certified Static Analysis by Abstract Interpretation

    Frédéric Besson, David Cachera, Thomas P. Jensen, David Pichardie. Certified Static Analysis by Abstract Interpretation. In Alessandro Aldini, Gilles Barthe, Roberto Gorrieri, editors, Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures. Volume 5705 of Lecture Notes in Computer Science, pages 223-257, Springer, 2009. [doi]

    Authors

    Frédéric Besson

    This author has not been identified. Look up 'Frédéric Besson' in Google

    David Cachera

    This author has not been identified. Look up 'David Cachera' in Google

    Thomas P. Jensen

    This author has not been identified. Look up 'Thomas P. Jensen' in Google

    David Pichardie

    This author has not been identified. Look up 'David Pichardie' in Google
    runs on