Aree di ricerca coinvolte dal progetto | |
---|---|
Informatica teorica
Formal languages and automata theory |
|
Informatica teorica
Semantics and reasoning |
|
Ingegneria del Software e Sicurezza
Software notations and tools |
|
Ingegneria del Software e Sicurezza
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 |
Strada le Grazie 15
37134 Verona
Partita IVA
01541040232
Codice Fiscale
93009870234
© 2022 | Università degli studi di Verona | Credits