
Registered user since Tue 12 May 2020
Name:Roland Meyer
Country:Germany
Affiliation:TU Braunschweig
Personal website:https://www.tcs.cs.tu-bs.de
Contributions
PLDI 2023 | Embedding Hindsight Reasoning in Separation Logic | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile