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.

Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct

Richard Bubel, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Olaf Owe, Ina Schaefer, Ingrid Chieh Yu. Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct. T. Foundations for Mastering Change, 1:130-156, 2016. [doi]

Abstract

Abstract is missing.

runs on