by
Reference:
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, (Hildebrandt, T.T., Ravara, A., Werf, J.M.E.M. van der, Weidlich, M., eds.), Springer, volume 9421, 2016.
Bibtex Entry:
@proceedings{conf/wsfm/2015,
	editor    = {Hildebrandt, {T.T.} and Ravara, A. and Werf, {J.M.E.M. van der} and Weidlich, M.},
	title     = {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},
	series    = {Lecture Notes in Computer Science},
	volume    = {9421},
	publisher = {Springer},
	year      = {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