Research areas involved in the project | |
---|---|
Sicurezza informatica
Formal methods and theory of security |
|
Ingegneria del Software e verifica formale
Semantics and reasoning |
|
Sicurezza informatica
Software and application security |
|
Ingegneria del Software e verifica formale
Software creation and management |
|
Ingegneria del Software e verifica formale
Software organization and properties |
******** CSS e script comuni siti DOL - frase 9957 ********p>