Web services and formal methods
Mario Bravetti
,
Manuel Núñez
,
Gianluigi Zavattaro
Details
OL Work ID
OL18730551W
Subjects
Formal methods (Computer science)
Congresses
Web services
Telecommunication systems
Find this book
Open Library