FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings - International Symposium of Formal Methods Europe 2006 : Hamilton, Ont.); Misra, Jayadev; Nipkow, Tobias; Sekerinski, Emil.; SpringerLink (Online service) (Berlin Heidelberg : Springer-Verlag GmbH., 2006)
Keywords: Computer software -- Development -- Congresses; Formal methods (Computer science) -- Congresses; System design -- Mathematics -- Congresses; Computer Science; Logics and Meanings of Programs; Management of Computing and Information Systems; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Programming Techniques; Software Engineering