Wei-Ngan Chin - SPLASH 2011

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

Registered user since Mon 18 Oct 2021

Name:Wei-Ngan Chin

Affiliation:National University of Singapore

Contributions

2011

SPLASH

Immutable Specifications for More Concise and Precise Verification

Show activities from other conferences

SPLASH 2011-profile
View general profile