Formal methods and software engineering [electronic resource] : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings / Zhiming Liu, Jifeng He (eds.).

Conference Author: International Conference on Formal Engineering Methods (8th : 2006 : Macau, China)
Additional Titles: 8th International Conference on Formal Engineering Methods, Eighth International Conference on Formal Engineering Methods, International Conference on Formal Engineering Methods, and ICFEM 2006
Published: Berlin ; New York : Springer, [2006]
Copyright Date: ©2006
Physical Description: 1 online resource (xii, 778 pages) : illustrations
Additional Creators: Liu, Zhiming, 1961- and He, Jifeng, 1943-