%0 Conference Paper %1 conf/fase/HaltermannW21 %A Haltermann, Jan %A Wehrheim, Heike %B FASE %D 2021 %E Guerra, Esther %E Stoelinga, Mariëlle %I Springer %K dblp %P 108-129 %T CoVEGI: Cooperative Verification via Externally Generated Invariants. %U http://dblp.uni-trier.de/db/conf/fase/fase2021.html#HaltermannW21 %V 12649 %@ 978-3-030-71500-7

@inproceedings{conf/fase/HaltermannW21, added-at = {2021-05-14T00:00:00.000+0200}, author = {Haltermann, Jan and Wehrheim, Heike}, biburl = {https://www.bibsonomy.org/bibtex/287f8c3e787738c0ec674606fc77ecc1a/dblp}, booktitle = {FASE}, crossref = {conf/fase/2021}, editor = {Guerra, Esther and Stoelinga, Mariëlle}, ee = {https://doi.org/10.1007/978-3-030-71500-7_6}, interhash = {f48bbdf3e1f841554918853793d5e754}, intrahash = {87f8c3e787738c0ec674606fc77ecc1a}, isbn = {978-3-030-71500-7}, keywords = {dblp}, pages = {108-129}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T02:32:27.000+0200}, title = {CoVEGI: Cooperative Verification via Externally Generated Invariants.}, url = {http://dblp.uni-trier.de/db/conf/fase/fase2021.html#HaltermannW21}, volume = 12649, year = 2021 }