Haltermann, Jan and Wehrheim, Heike (2021) CoVEGI: Cooperative Verification via Externally Generated Invariants. In: Fundamental approaches to software engineering. Lecture notes in computer science (12649). Springer, Cham, pp. 108-129. ISBN 978-3-030-71499-4 - 978-3-030-71500-7

- Published Version

Volltext (379Kb)
Official URL: https://doi.org/10.1007/978-3-030-71500-7
Item Type: Book Section
Divisions: School of Computing Science, Business Administration, Economics and Law > Department of Computing Science
Date Deposited: 28 Jan 2022 13:57
Last Modified: 28 Jan 2022 13:57
URI: https://oops.uni-oldenburg.de/id/eprint/5215
URN: urn:nbn:de:gbv:715-oops-52963
DOI: 10.1007/978-3-030-71500-7

Actions (login required)

View Item View Item

Document Downloads

More statistics for this item...