SPLASH 2022 (series) / Patrick Lam

Registered user since Mon 10 Aug 2015
Contributions
HATRA 2022 | Exploring the Verifiability of Code Generated by GitHub Copilot | ||||||||||||||||||||||||||||||||||||||||
SPLASH 2022 | Putting the Semantics into Semantic Versioning | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2022-profile
View general profile
View general profile