Write a Blog >>
SPLASH 2012
Fri 19 - Fri 26 October 2012 Tucson, Arizona, United States

Not registered as user yet

Name:Jonathan Kochems
Affiliation:Department of Computer Science, University of Oxford

Contributions

AGERE 2012 Soter: an automatic safety verifier for erlang
Show activities from other conferences

SPLASH 2012-profile
View general profile