Programming and Verifying Component Ensembles / De Nicola, R; Lluch-Lafuente, A; Loreti, M; Morichetta, A; Pugliese, R; Senni, V; Tiezzi, F. - 8415:(2014), pp. 69-83. [10.1007/978-3-642-54848-2_5]
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.

