Cooperation Between Automatic and Interactive Software Verifiers. - Dirk Beyer 001; Martin Spiessl; Sven Umbricht (SEFM, 2022)

Reproduction Package for SEFM 2022 Article 'Cooperation between Automatic and Interactive Software Verifiers'. - Dirk Beyer 001; Martin Spiessl; Sven Umbricht (Zenodo, 2022)