APA (7th ed.) Citation

SpringerLink (Online service), Hildebrandt, T., Ravara, A., van der Werf, J. M., & Weidlich, M. (2016). Web Services, Formal Methods, and Behavioral Types: 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers. Springer International Publishing : Imprint: Springer.

Chicago Style (17th ed.) Citation

SpringerLink (Online service), Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, and Matthias Weidlich. Web Services, Formal Methods, and Behavioral Types: 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers. Cham: Springer International Publishing : Imprint: Springer, 2016.

MLA (8th ed.) Citation

SpringerLink (Online service), et al. Web Services, Formal Methods, and Behavioral Types: 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers. Springer International Publishing : Imprint: Springer, 2016.