Combining Heterogeneity, Compositionality, and Automatic Generation in Formal Modelling / Stefano, Marrone; Mazzocca, Nicola; Nardone, Roberto; Vittorini, Valeria. - (2013), pp. 17-33. [10.4018/978-1-4666-4659-9.ch002]
Combining Heterogeneity, Compositionality, and Automatic Generation in Formal Modelling
MAZZOCCA, NICOLA;NARDONE, ROBERTO;VITTORINI, VALERIA
2013
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.


