BRAVETTI, Mario, NÚÑEZ, Manuel und ZAVATTARO, Gianluigi (Hrsg.). 1 st ed. 2006. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540388654.
Elsevier - Harvard (with titles)Bravetti, M., Núñez, M., Zavattaro, G. (Hrsg.), 2006. Web Services and Formal Methods : Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings, 1 st ed. 2006. ed, Programming and Software Engineering. Springer Berlin Heidelberg, Berlin, Heidelberg. https://doi.org/10.1007/11841197
American Psychological Association 7th editionWeb Services and Formal Methods : Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings. (ca. 2006). [Cd]. In M. Bravetti, M. Núñez, & G. Zavattaro (Hrsg.), Programming and Software Engineering (1 st ed. 2006). Springer Berlin Heidelberg. https://doi.org/10.1007/11841197
Springer - Basic (author-date)Bravetti M, Núñez M, Zavattaro G (Hrsg.) (2006) Web Services and Formal Methods : Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings, 1 st ed. 2006. Springer Berlin Heidelberg, Berlin, Heidelberg
Juristische Zitierweise (Stüber) (Deutsch)Bravetti, Mario/ Núñez, Manuel/ Zavattaro, Gianluigi (Hrsg.), Web Services and Formal Methods : Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings, 1 st ed. 2006 , Berlin, Heidelberg 2006.