Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings

• Main Author: MΓ©ry, Dominique
• Corporate Author: SpringerLink (Online service)
• Other Authors: Merz, Stephan
• Format: Electronic Kit Book
• Language: English
• Published: Berlin, Heidelberg Springer Berlin Heidelberg 2010
• Series: Lecture Notes in Computer Science 6396
• Subjects: Computer science; Software engineering; Computer software; Logic design; Computer Science; Software Engineering; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Mathematical Logic and Formal Languages; Programming Techniques; Algorithm Analysis and Problem Complexity