• Daniel Drodt und Reiner Hähnle, „RustyDL: A program logic for Rust“, Angenommen fĂĽr FM 2026, 2026.
  • B. Beckert, R. Bubel, D. Drodt, R. Hähnle, F. Lanzinger, W. Pfeifer, M. Ulbrich und A. Weigl, „The Java Verification Tool KeY: A Tutorial,“ in Formal Methods, A. Platzer, K. Y. Rozier, M. Pradella und M. Rossi, Hrsg., Ser. LNCS, Bd. 14934, Cham: Springer Nature Switzerland, 2025, S. 597–623. doi: 10.1007/978-3-031-71177-0_32