Wolfram Pfeifer

Wolfram Pfeifer Wolfram Pfeifer, M.Sc. — Wissenschaftlicher Mitarbeiter / Doktorand
Am Fasanengarten 5
Building 50.34
76131 Karlsruhe
Germany

wolfram.pfeifer2139684856Xfd4∂kit.edu

Projekte

Publikationen

2021
Titel Autor(en) Quelle
Reconstructing Z3 Proofs With KeYWolfram PfeiferKarlsruhe Institute of Technology (Januar 2021)
2017
Titel Autor(en) Quelle
Specifying and Verifying Real-World Java Code with KeY - Case Study java.math.BigIntegerWolfram PfeiferKarlsruhe Institute of Technology (Mai 2017)