Web Services and Formal Methodsde Maurice H. ter Beek, Niels LohmannMateriasWeb servicesSystem designEdiciones (1)Web Services and Formal Methods (2013)Springer · ISBN 9783642382291Más obras de Maurice H. ter BeekFrom Software Engineering to Formal Methods and Tools, and BackFormal Methods – The Next 30 YearsAArchitecting Dependable Systems VIArchitecting Dependable Systems VI
PProceedings of the Eleventh International Workshop on VariabProceedings of the Eleventh International Workshop on Variability Modelling of Software-Intensive Systems
