Wolfram Pfeifer

Wolfram Pfeifer, M.Sc.

Wissenschaftlicher Mitarbeiter / Doktorand

Büro: Raum 228

📞

+ 49 721 608-45648
wolfram.pfeifer589754959Xfd4∂kit.edu
[ S/MIME ]
Am Fasanengarten 5
Gebäude 50.34
76131 Karlsruhe
Deutschland

Projekte

Lehre

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 (FTfJP 2021), co-located with ECOOP/ISSTA 2021, Online, 13 July 2021
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)