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