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 |
| Nutzungslizenz: |
Actions (login required)
 |
View Item |
