SPLASH 2015 (series) / Alisa Joy Maas

Registered user since Tue 12 May 2015
Name:Alisa Joy Maas
Contributions
SPLASH 2015 | Automatic Array Property Detection Via Static Analysis | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2015-profile
View general profile
View general profile