Formal methods and software engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings / - Liu, Zhiming,; He, Jifeng, (Lecture notes in computer science,)