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 2012Author of Soter: an automatic safety verifier for erlang within the AGERE 2012-track
Show activities from other conferences

SPLASH 2012-profile
View general profile