An Algebraic Theory for Web Service Contracts / Cosimo Laneve; Luca Padovani. - STAMPA. - 7940:(2013), pp. 301-315. (Intervento presentato al convegno Integrated Formal Methods, 10th International Conference, IFM 2013 tenutosi a TURKU nel June 10-14, 2013) [10.1007/978-3-642-38613-8_21].
File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.