Resultado final
Data Management Plan
Data management plan
Publicaciones
Trocq: Proof Transfer for Free, With or Without Univalence
Autores:
Cohen, Cyril; Crance, Enzo; Mahboubi, Assia
Publicado en:
Programming Languages and Systems. ESOP 2024, Edición 14576, 2024, ISBN 978-3-031-57262-3
Editor:
Springer
DOI:
10.1007/978-3-031-57262-3_10
Buscando datos de OpenAIRE...
Se ha producido un error en la búsqueda de datos de OpenAIRE
No hay resultados disponibles