TY  - RPRT
TI  - Cooperative Verification via Collective Invariant Generation
AU  - Jan Haltermann
AU  - Heike Wehrheim
PY  - 2020
UR  - https://arxiv.org/abs/2008.04551
ID  - 2008.04551
ER  -