Topic | People | Description |
---|---|---|
Code synthesis |
Mila Dalla Preda
Roberto Giacobazzi Isabella Mastroeni |
Study and development of techniques for the synthesis of code (or code transformers) from the specification of semantic code properties. |
Software creation and management |
Federica Maria Francesca Paci
|
Study and development of formal and semi-formal methodologies and technologies for the creation and management of software systems |
Strada le Grazie 15
37134 Verona
VAT number01541040232
Italian Fiscal Code93009870234
© 2024 | Verona University
******** CSS e script comuni siti DOL - frase 9957 ********p>