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.

    Smallfoot: Modular Automatic Assertion Checking with Separation Logic

    Josh Berdine, Cristiano Calcagno, Peter W. O Hearn. Smallfoot: Modular Automatic Assertion Checking with Separation Logic. In Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever, editors, Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures. Volume 4111 of Lecture Notes in Computer Science, pages 115-137, Springer, 2005. [doi]

    Authors

    Josh Berdine

    This author has not been identified. Look up 'Josh Berdine' in Google

    Cristiano Calcagno

    This author has not been identified. Look up 'Cristiano Calcagno' in Google

    Peter W. O Hearn

    This author has not been identified. Look up 'Peter W. O Hearn' in Google
    runs on