conf.researchr.org / Devin Coughlin
Registered user since Sat 30 Aug 2014
Name:Devin Coughlin
Affiliation:University of Colorado Boulder
Contributions
| SPLASH 2014 | Presenter of Analysis with Type-Intertwined Separation Logic within the Student Research Competition-track |