SPLASH 2014 (series) / Devin Coughlin
Registered user since Sat 30 Aug 2014
Name:Devin Coughlin
Affiliation:University of Colorado Boulder
Contributions
| SPLASH 2014 | Analysis with Type-Intertwined Separation Logic | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2014-profile
View general profile
View general profile