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 (17η εκδ.)SpringerLink (Online service), Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, και 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 εκδ.)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.
