"Web Services and Formal Methods - 9th International Workshop, WS-FM 2012, ..."

Maurice H. ter Beek, Niels Lohmann (2013)

Details and statistics

DOI: 10.1007/978-3-642-38230-7

access: closed

type: Editorship

metadata version: 2019-05-14

a service of  Schloss Dagstuhl - Leibniz Center for Informatics