@inproceedings{Lau&al:06c,
 author = "K.-K. Lau and Z. Wang and A. Wang and M. Gu", 
 title = "A Component-based Approach to Verified Software: 
          What, Why, How and What Next?",
 editor = " X. Chen and Z. Liu and M. Reed",
 booktitle = "Proc. 1st Asian Working Conference on Verified Software", 
 pages = "225-229", 
 year = "2006",
 note = "UNU-IIST Report No. 347"  }