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