The First Asian Working Conference on

Verified Software

UNU-IIST, Macao, October, 2006

Preliminary Proceedings

Editors: Chen Xin, Zhiming Liu, and Mike Reed

Download as a single file: UNU-IIST Technical Report 348, PDF (9.8MB)
Download separately: We are sorry that this facility is not available now.
Hopefully it will be available soon.