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.

Using Abstract Contracts for Verifying Evolving Features and Their Interactions

Alexander Knüppel, Stefan Krüger, Thomas Thüm, Richard Bubel, Sebastian Krieter, Eric Bodden, Ina Schaefer. Using Abstract Contracts for Verifying Evolving Features and Their Interactions. In Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich, editors, Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY. Volume 12345 of Lecture Notes in Computer Science, pages 122-148, Springer, 2020. [doi]

Authors

Alexander Knüppel

This author has not been identified. Look up 'Alexander Knüppel' in Google

Stefan Krüger

This author has not been identified. Look up 'Stefan Krüger' in Google

Thomas Thüm

This author has not been identified. It may be one of the following persons: Look up 'Thomas Thüm' in Google

Richard Bubel

This author has not been identified. Look up 'Richard Bubel' in Google

Sebastian Krieter

This author has not been identified. Look up 'Sebastian Krieter' in Google

Eric Bodden

This author has not been identified. It may be one of the following persons: Look up 'Eric Bodden' in Google

Ina Schaefer

This author has not been identified. It may be one of the following persons: Look up 'Ina Schaefer' in Google
runs on