M. Bravetti, R. Gorrieri (2004). Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time. AMSTERDAM : Elsevier.
Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time
BRAVETTI, MARIO;GORRIERI, ROBERTO
2004
File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.