A Logical Verification Methodology for Service-Oriented Computing (0)

by A Fantechi, S Gnesi, A Lapadula, F Mazzanti, R Pugliese, F Tezzi
Venue:ACM Trans. Softw. Eng. Methodol