WS-FM
Keyphrases
Publications
volume 9421, 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 WS-FM 9421 (2016)
2015
volume 8379, 2014
2013
volume 7843, 2013
2012
volume 7176, 2012
2011
volume 6551, 2011
2010
volume 6194, 2010