Roland Meyer

Registered user since Tue 12 May 2020

Name:Roland Meyer
Country:Germany
Affiliation:TU Braunschweig

Contributions

PLDI 2023 Embedding Hindsight Reasoning in Separation Logic
Show activities from other conferences

Using general profile