Book chapters details

Tools and Verification

Jan 2011

Book title: Rigorous Software Engineering for Service-Oriented Systems

Publisher: Springer-Verlag

Authors: Massimo Bartoletti, Luis Caires, Ivan Lanese, Franco Mazzanti, Davide Sangiorgi, Hugo Torres Vieira, Roberto Zunino

Editors:

Edition:

Series: Lecture Notes in Computer Science

Volume: 6582

ISBN: 978-3-642-20400-5

Url:

Notes:

Bibtex Key:

DOI:

Pages: 408 to 427

Publication Date: 1 Jan 2011

Publication File: