Tools and verification / Massimo, B., Luís, C., Ivan, L., Franco, M., Davide, S., MENDES TORRES VIEIRA, H., Roberto, Z.. - 6582:(2011), pp. 408-427. [10.1007/978-3-642-20401-2_19]
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.
