Integrated formal methods 7th international conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009 ; Proceedings - International Conference on Integrated Formal Methods 2009 : Dusseldorf, Germany); Leuschel, Michael; Wehrheim, Heike; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
Keywords: Formal methods (Computer science) -- Congresses; System design -- Congresses; Computer Science; Software Engineering; Programming Techniques; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters