Onward! 2014
Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
co-located with SPLASH 2014

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