Risultati finali
Data Management Plan
Data management plan
Pubblicazioni
Trocq: Proof Transfer for Free, With or Without Univalence
Autori:
Cohen, Cyril; Crance, Enzo; Mahboubi, Assia
Pubblicato in:
Programming Languages and Systems. ESOP 2024, Numero 14576, 2024, ISBN 978-3-031-57262-3
Editore:
Springer
DOI:
10.1007/978-3-031-57262-3_10
È in corso la ricerca di dati su OpenAIRE...
Si è verificato un errore durante la ricerca dei dati su OpenAIRE
Nessun risultato disponibile