A use-case driven approach to formal service-oriented modelling

TitleA use-case driven approach to formal service-oriented modelling
Publication TypeBook Chapter
Year of Publication2008
AuthorsBocchi, L., J. Luiz Fiadeiro, and A. Lopes
Book TitleLeveraging Applications of Formal Methods, Verification and Validation
Pagination155–169
PublisherSpringer Berlin Heidelberg