Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

Publications

Rather group by categories.

2021
Title Author(s) Source
Reconstructing Z3 Proofs With KeYWolfram PfeiferKarlsruhe Institute of Technology (January 2021)