A formal account of contracts for web services (2006)

by S. Carpineti , G. Castagna , C. Laneve , L. Padovani , École Normale Supérieure De Paris
Venue:In WS-FM, 3rd Int. Workshop on Web Services and Formal Methods, number 4184 in LNCS
Citations:24 - 4 self