The Contract Automata Tool is an ongoing basic research activity about implementing and experimenting with new developments in the theoretical framework of contract automata.
Contract automata library
Basile D
2021
Abstract
The Contract Automata Tool is an ongoing basic research activity about implementing and experimenting with new developments in the theoretical framework of contract automata.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_456740-doc_176889.jar
accesso aperto
Descrizione: Contract automata library
Dimensione
6.03 MB
Formato
Unknown
|
6.03 MB | Unknown | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
