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.

Teaching Correctness-by-Construction and Post-hoc Verification - The Online Experience

Tobias Runge, Tabea Bordis, Thomas Thüm, Ina Schaefer. Teaching Correctness-by-Construction and Post-hoc Verification - The Online Experience. In João F. Ferreira, Alexandra Mendes, Claudio Menghi, editors, Formal Methods Teaching - 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings. Volume 13122 of Lecture Notes in Computer Science, pages 101-116, Springer, 2021. [doi]

Authors

Tobias Runge

This author has not been identified. Look up 'Tobias Runge' in Google

Tabea Bordis

This author has not been identified. Look up 'Tabea Bordis' 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

Ina Schaefer

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