Reasoning (on) Service Component Ensembles in Rewriting Logic. Specification, Algebra, and Software / Belzner, L; De Nicola, R; Vandin, A; Wirsing, M. - 8373:(2014), pp. 188-211. [10.1007/978-3-642-54624-2_10]
Reasoning (on) Service Component Ensembles in Rewriting Logic. Specification, Algebra, and Software
De Nicola R;
2014
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

