Correctness Witness Validation by Abstract Interpretation

von Saan, Simmo
Veröffentlicht in VMCAI (25. : 2024 : London) Verification, model checking and abstract interpretation ; Part 1 (2024)