International School on Formal Methods for the Design of Computer, Communication, and Software Systems (9th 2009 Bertinoro, Italy)

1 book

Books by International School on Formal Methods for the Design of Computer, Communication, and Software Systems (9th 2009 Bertinoro, Italy)

Formal methods for web services