Sven Umbricht

According to our database¹, Sven Umbricht authored at least 2 papers in 2022.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2022

Reproduction Package for SEFM 2022 Article 'Cooperation between Automatic and Interactive Software Verifiers'.

[BibT_eX]

[DOI]

Dataset, September, 2022

Cooperation Between Automatic and Interactive Software Verifiers.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022