Title: Formal Methods And Software Engineering 11th International Conference On Formal Engineering Methods Icfem 2009 Rio De Janeiro Brazil December 912 2009 Proceedings
Subjects: Computer science, Software engineering, Computer software, Formal methods (Computer science), Congresses, Programmanalyse, Kongress, Model Checking, Programmtest, Formale Methode, Softwareentwicklung, Verifikation, Systementwicklung, Zuverlässigkeit, Fehlertoleranz, System design