External Links

Cite Key

Statistics

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

PDF

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.

Auditing User-Provided Axioms in Software Verification Conditions

Paul Jackson, Florian Schanda, Angela Wallenburg. Auditing User-Provided Axioms in Software Verification Conditions. In Charles Pecheur, Michael Dierkes, editors, Formal Methods for Industrial Critical Systems - 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings. Volume 8187 of Lecture Notes in Computer Science, pages 154-168, Springer, 2013. [doi]

Authors

Paul Jackson

This author has not been identified. Look up 'Paul Jackson' in Google

Florian Schanda

This author has not been identified. Look up 'Florian Schanda' in Google

Angela Wallenburg

This author has not been identified. Look up 'Angela Wallenburg' in Google
runs on