Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Liu, Shaoying (Editor), Maibaum, Tom (Editor), Araki, Keijiro (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
• Series: Lecture Notes in Computer Science, 5256
• Subjects: Computer science.; Software engineering.; Computer programming.; Programming languages (Electronic computers).; Mathematical logic.; Computers.; Computer Science.; Software Engineering/Programming and Operating Systems.; Programming Languages, Compilers, Interpreters.; Programming Techniques.; Software Engineering.; Models and Principles.; Mathematical Logic and Formal Languages.

This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM 2008, held in Kitakyushu-City, Japan, October 2008. The 20 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 62 submissions. Th...