Web Services and Formal Methods
Subtitle: 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings
By: edited by Marlon Dumas, Reiko Heckel
Contributors: Heckel, Reiko; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 4937
Publisher: Springer-Verlag Berlin Heidelberg; Springer
Published: 2008
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
Number of pages: 168
ISBN-13: 9783540792291; 9783540792307
Subjects: Logic design; Computer system performance; Information Systems; Software engineering