Web Services, Formal Methods, and Behavioral Types

Thomas Hildebrandt; Antonio Ravara; J.M.E.M. van der Werf; Matthias Weidlich

doi:10.1007/978-3-319-33612-1

Web Services, Formal Methods, and Behavioral Types

Thomas Hildebrandt
, Antonio Ravara
, J.M.E.M. van der Werf
, Matthias Weidlich

IT University of Copenhagen
NOVA University Lisbon
Humboldt University of Berlin

Research output: Book/Report › Book editing › Academic › peer-review

Abstract

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

Original language	English
Publisher	Springer
Volume	9421
ISBN (Electronic)	978-3-319-33612-1
ISBN (Print)	978-3-319-33611-4
DOIs	https://doi.org/10.1007/978-3-319-33612-1
Publication status	Published - 2016

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	9421

Access to Document

10.1007/978-3-319-33612-1

Cite this

@book{a7e6a5059d8e43169792df0d1b64940f,

title = "Web Services, Formal Methods, and Behavioral Types",

abstract = "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",

author = "Thomas Hildebrandt and Antonio Ravara and \{van der Werf\}, J.M.E.M. and Matthias Weidlich",

year = "2016",

doi = "10.1007/978-3-319-33612-1",

language = "English",

isbn = "978-3-319-33611-4",

volume = "9421",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

}

TY - BOOK

T1 - Web Services, Formal Methods, and Behavioral Types

AU - Hildebrandt, Thomas

AU - Ravara, Antonio

AU - van der Werf, J.M.E.M.

AU - Weidlich, Matthias

PY - 2016

Y1 - 2016

N2 - 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

AB - 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

U2 - 10.1007/978-3-319-33612-1

DO - 10.1007/978-3-319-33612-1

M3 - Book editing

SN - 978-3-319-33611-4

VL - 9421

T3 - Lecture Notes in Computer Science

BT - Web Services, Formal Methods, and Behavioral Types

PB - Springer

ER -

Web Services, Formal Methods, and Behavioral Types

Abstract

Publication series

Access to Document

Fingerprint

Cite this