PREFACE - Workshop on Formal Methods for Industrial Critical Systems (FMICS'14) / Flammini F; Lang F. - STAMPA. - 8718:(2014).
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.