Web Services and Formal Methods: Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings (Lecture Notes in Computer Science, Band 4184)
Die Ausgabe der dritten internationalen Konferenz WS‑FM 2006 aus Wien liefert ein kompaktes Referenzwerk, das die neuesten formalen Techniken für ...