Daniel Drodt

Orcid: 0000-0003-3036-8220

According to our database1, Daniel Drodt authored at least 3 papers between 2024 and 2026.

Collaborative distances:

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
RustyDL: A Program Logic for Rust.
CoRR, February, 2026

2024

The Java Verification Tool KeY:A Tutorial.
Proceedings of the Formal Methods - 26th International Symposium, 2024


  Loading...