- Daniel Drodt and Reiner Hähnle, “RustyDL: A Program Logic for Rust,” Accepted for FM 2026, 2026.
- B. Beckert, R. Bubel, D. Drodt, R. Hähnle, F. Lanzinger, W. Pfeifer, M. Ulbrich, and A. Weigl, “The Java verification tool KeY: A tutorial,” in Formal Methods, A. Platzer, K. Y. Rozier, M. Pradella, and M. Rossi, Eds., ser. LNCS, vol. 14934, Cham: Springer Nature Switzerland, 2025, pp. 597–623. doi: 10.1007/978-3-031-71177-0_32