FM 2009 formal methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings - International Symposium of Formal Methods Europe 2009 : Eindhove, The Netherlands); Cavalcanti, Ana.; Dams, Dennis; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009)
Keywords: Computer software -- Development -- Congresses; Formal methods (Computer science) -- Congresses; System design -- Mathematics -- Congresses; Logics and Meanings of Programs; Management of Computing and Information Systems; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Programming Techniques; Software Engineering; Computer Science