Wolfram Pfeifer

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

wolfram.pfeifer1687877234Xfd4∂kit.edu

Projekte

Publikationen

2021
Titel Autor(en) Quelle
Reconstructing Z3 proofs in KeY: There and back againWolfram Pfeifer
Jonas Schiffl
Mattias Ulbrich
Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs : 23rd ACM International Workshop on Formal Techniques for Java-Like Programs, FTfJP 2021, co-located with ECOOP/ISSTA 2021, Online, 13 July 2021 - null
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)