| Aree di ricerca coinvolte dal progetto | |
|---|---|
|
Ingegneria del Software e Verifica Formale
Formal languages and automata theory |
|
|
Ingegneria del Software e Verifica Formale
Semantics and reasoning |
|
|
Ingegneria del Software e Verifica Formale
Software notations and tools |
|
|
Ingegneria del Software e Verifica Formale
Software organization and properties |
|
| Titolo | Autori | Anno |
|---|---|---|
| Locking Discipline Inference and Checking | Ernst, Michael D.; Lovato, Alberto; Macedonio, Damiano; Spoto, Nicola Fausto; Thaine, Javier | 2016 |
© 2025 | Verona University
******** CSS e script comuni siti DOL - frase 9957 ********
