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

Thomas Hildebrandt (Editor/Coordinator), António Ravara (Editor/Coordinator), Jan Martijn Van Der Werf (Editor/Coordinator), Matthias Weidlich (Editor/Coordinator)

Research output: Book/ReportBook

Original languageEnglish
Place of PublicationCham
PublisherSpringer International Publishing AG
ISBN (Electronic)978-3-319-33612-1
ISBN (Print)978-3-319-33611-4
DOIs
Publication statusPublished - 1 Jan 2016
Event11th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2014 and 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM/BEAT 2015 - Madrid, Spain
Duration: 4 Sep 20155 Sep 2015

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9421
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Cite this