DMCA

A Logical Verification Methodology for Service-Oriented Computing · 49 (2008)

Cached

Download Links

by Alessandro Fantechi , Alessandro Lapadula , Rosario Pugliese , Francesco Tiezzi , Stefania Gnesi , Franco Mazzanti
Venue:In FASE. LNCS
Citations:7 - 6 self