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

Not registered as user yet

Name:Wei-Ngan Chin
Affiliation:National University of Singapore

Contributions

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

SPLASH 2011-profile
View general profile