Roman Lakenbrink

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 2

Top Topics

Recursive Programs

Top Venues

Publications

Roman Lakenbrink, Markus Müller-Olm, Christoph Ohrem, Jens Oliver Gutsfeld
A Navigation Logic for Recursive Programs with Dynamic Thread Creation. VMCAI (2) (2024)
Roman Lakenbrink, Markus Müller-Olm, Christoph Ohrem, Jens Oliver Gutsfeld
A Navigation Logic for Recursive Programs with Dynamic Thread Creation. CoRR (2023)