Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time / M. Bravetti; R. Gorrieri. - ELETTRONICO. - (2004).
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.