Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Sponsors

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