| 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 |
