Dumas, Marlon.Heckel, Reiko. (Eds.) (©2008) Web services and formal methods :4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 : proceedings Berlin ; Springer,MLA Citation
Dumas, Marlon.Heckel, Reiko., eds. Web Services And Formal Methods: 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 : Proceedings. Berlin : Springer, ©2008. Print.
These citations may not conform precisely to your selected citation style. Please use this display as a guideline and modify as needed.