top

English
Persona    Opera   
Persona/Opera
Vai a Pubblicazioni
Persona/Ente/Famiglia
   

Espandi
Riduci






Seleziona tutte
Deseleziona


Logics and Type Systems in Theory and Practice
Espandi opera
...
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs
Espandi opera
...