TITLE     : Web Services and Formal Methods
AUTHOR(S) : Ter Beek, Mh, Lohmann, N
TYPE      : Book
YEAR      : 2013
CODE      : 277608

*** DO NOT EDIT THIS FILE ***