Integrated Formal Methods 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings - Leuschel, Michael; Wehrheim, Heike; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
Keywords: Computer science; Software engineering; Logic design; Computer Science; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Software Engineering; Programming Techniques