English
Deutsch
Log In
Password Login
or
Log in with Fraunhofer Smartcard
Research Outputs
Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Hauptwerk
Formal methods and software engineering. 9th International Conference on Formal Engineering Methods, ICFEM 2007
Information
Publications
Export
Statistics
Options
Title
Formal methods and software engineering. 9th International Conference on Formal Engineering Methods, ICFEM 2007
Titel Supplements
Boca Raton, Florida, USA, November 14-15, 2007; proceedings
Verlag
Springer
Verlagsort
Berlin
Datum
2007
Serie
Lecture Notes in Computer Science
Konferenz
International Conference on Formal Engineering Methods (ICFEM) 2007