APA (7th ed.) Citation

WS-FM 2007 Brisbane, Qld., SpringerLink (Online service), Dumas, M., & Heckel, R. (2008). Web services and formal methods: 4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 ; proceedings. Springer. https://doi.org/10.1007/978-3-540-79230-7

Chicago Style (17th ed.) Citation

WS-FM 2007 Brisbane, Qld., SpringerLink (Online service), Marlon Dumas, and Reiko Heckel. Web Services and Formal Methods: 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 ; Proceedings. Berlin ; New York: Springer, 2008. https://doi.org/10.1007/978-3-540-79230-7.

MLA (9th ed.) Citation

WS-FM 2007 Brisbane, Qld., et al. Web Services and Formal Methods: 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 ; Proceedings. Springer, 2008. https://doi.org/10.1007/978-3-540-79230-7.