Web Services and Formal Methods More Books Like This
Web Services, Formal Methods, and Behavioral Types
2016
Software Engineering and Formal Methods
2014
Coordination Models and Languages
2017
Formal Methods for Web Services
2009
Coordination Models and Languages
2020
Coordination Models and Languages
2019
Formal Aspects of Component Software
2014
On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS
2007
Transactions on Petri Nets and Other Models of Concurrency II
2009
Software Engineering and Formal Methods
2015
Rule Technologies. Research, Tools, and Applications
2016
Formal Methods for Components and Objects
2009
Software Engineering and Formal Methods
2017
Formal Methods for Eternal Networked Software Systems
2011
From Software Engineering to Formal Methods and Tools, and Back
2019