Title: Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings
Subjects: Computer networks, Computer science, Software engineering, Computer software, Entscheidungsverfahren, Programmtest, Programmverifikation, Formale Methode, Serviceorientierte Architektur, Softwareentwicklung, Congresses, Web Services, Model Checking, Leistungsbewertung, Formal methods (Computer science), Programmanalyse, Computer engineering