Verified Software Workshop
October 17–20, 2009, Beijing, China

We sincerely thank the following sponsors of the Verified Software Workshop.

Beihang University

East China Normal University

Institute of Software, Chinese Academy of Sciences