Web Services, Formal Methods, and Behavioral Types

MLA

Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich, et al. Web Services, Formal Methods, and Behavioral Types. Springer International Publishing, 2016.

APA

Thomas Hildebrandt, M. Weidlich, Antonio, R., Ravara, A., van der Werf, J. Martijn, & Weidlich, M. (2016). Web Services, Formal Methods, and Behavioral Types. Springer International Publishing.

Chicago

Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich, Ravara Antonio, António Ravara, Jan Martijn van der Werf, and Matthias Weidlich. Web Services, Formal Methods, and Behavioral Types. : Springer International Publishing, 2016.