SPLASH 2022 (series) / Derek Dreyer
Registered user since Sun 28 Sep 2014
Contributions
| SPLASH 2022 | Finding real bugs in big programs with incorrectness logic | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile
SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand