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.

Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic Translation

Lukas Armborst, Sophie Lathouwers, Marieke Huisman. Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic Translation. In Paula Herber, Anton Wijs, editors, iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings. Volume 14300 of Lecture Notes in Computer Science, pages 153-171, Springer, 2023. [doi]

Authors

Lukas Armborst

This author has not been identified. Look up 'Lukas Armborst' in Google

Sophie Lathouwers

This author has not been identified. Look up 'Sophie Lathouwers' in Google

Marieke Huisman

This author has not been identified. Look up 'Marieke Huisman' in Google
runs on