Not registered as user yet
Name:Lukáš Korenčik
Affiliation:Trail of Bits
Contributions
EGRAPHS 2022 | On the Optimization of Equivalent Concurrent Computations | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile
Not registered as user yet
Contributions
EGRAPHS 2022 | On the Optimization of Equivalent Concurrent Computations | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |