Model checking nel sistema Maude

DI SABATINO, LUCA
2019/2020

2019
Model checking in the Maude system
File in questo prodotto:
File Dimensione Formato  
Tesi_LucaDiSabatino.pdf

accesso solo dalla rete interna

Dimensione 1.18 MB
Formato Adobe PDF
1.18 MB Adobe PDF   Contatta l'autore

I documenti in UNITESI sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Il download dei file è consentito soltanto per chi si collega da rete interna o da proxy.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.12319/1736