3 Papers accepted at ISoLA'20: "An Interface Theory for Program Verification", "Verification Artifacts in Cooperative Verification", and "Violation Witnesses and Result Validation for Multi-Threaded Programs"

Supplementary Web Pages

For Research Articles

For PhD Theses

For MSc Theses

For BSc Theses