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

Detalles Bibliográficos
Autores principales: Hildebrandt, Thomas, Ravara, António, van der Werf, Jan Martijn, Weidlich, Matthias, Antonio, Ravara
Lenguaje:eng
Publicado: Springer International Publishing AG 2016
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2757774

Internet

http://cds.cern.ch/record/2757774

Ejemplares similares