SPLASH 2011
Fri 21 - Thu 27 October 2011 Portland, Oregon, United States

Not registered as user yet

Name:Cristina David
Affiliation:University of Oxford

Contributions

SPLASH 2011 Immutable Specifications for More Concise and Precise Verification
Show activities from other conferences

SPLASH 2011-profile
View general profile