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.

Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY

Alexander Knüppel, Thomas Thüm, Carsten Immanuel Pardylla, Ina Schaefer. Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY. In Steffen Becker 0001, Ivan Bogicevic, Georg Herzwurm, Stefan Wagner 0001, editors, Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019. Volume P-292 of LNI, pages 165-166, GI, 2019. [doi]

Authors

Alexander Knüppel

This author has not been identified. Look up 'Alexander Knüppel' 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

Carsten Immanuel Pardylla

This author has not been identified. Look up 'Carsten Immanuel Pardylla' 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