Formal Methods and Software Engineering (vol. # 4260) 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings - International Conference on Formal Engineering Methods 2006 : Macau, China); Liu, Zhiming; He, Jifeng; SpringerLink (Online service) (Berlin Heidelberg : Springer-Verlag GmbH., 2006)
Keywords: Formal methods (Computer science) -- Congresses; Software engineering -- Congresses; Computer Science; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Software Engineering