Argomento | Persone | Descrizione |
---|---|---|
Sintesi di codice |
Mila Dalla Preda
Roberto Giacobazzi Isabella Mastroeni |
Studio e sviluppo di tecniche per la sintesi di codice (o la trasformazione di codice) dalla specifica di proprietà semantiche del codice. |
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
Partita IVA01541040232
Codice Fiscale93009870234
© 2024 | Università degli studi di Verona
******** CSS e script comuni siti DOL - frase 9957 ********p>