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.

Integration of Bounded Model Checking and Deductive Verification

Bernhard Beckert, Thorsten Bormer, Florian Merz, Carsten Sinz. Integration of Bounded Model Checking and Deductive Verification. In Bernhard Beckert, Ferruccio Damiani, Dilian Gurov, editors, Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers. Volume 7421 of Lecture Notes in Computer Science, pages 86-104, Springer, 2011. [doi]

Authors

Bernhard Beckert

This author has not been identified. Look up 'Bernhard Beckert' in Google

Thorsten Bormer

This author has not been identified. Look up 'Thorsten Bormer' in Google

Florian Merz

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

Carsten Sinz

This author has not been identified. Look up 'Carsten Sinz' in Google
runs on