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
Éditeur :
Springer International Publishing AG
ISBN :
9783319336114
Date de publication :
20 avr. 2016
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the workshops WS-FM:FASOCC 2014 and WS-FM/BEAT 2015.