@inbook{8a8d0fc884b34433b2f64b6ee3e94235,
title = "Tools and Verification",
author = "Vieira, {Hugo Filipe Mendes Torres} and Caires, {Lu{\'i}s Manuel Marques da Costa}",
year = "2011",
month = jan,
day = "1",
language = "Unknown",
isbn = "978-3-642-20400-5",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
number = "6582",
pages = "408--427",
editor = "Wirsing Martin and Holzl Matthias",
booktitle = "Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing",
address = "Netherlands",
}