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 |
CSS e script comuni siti DOL - frase 9957