top

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

Espandi
Riduci






Seleziona tutte
Deseleziona


PLPV '09 : proceedings of the 2009 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, Savannah, Georgia, USA, January 20, 2009
Espandi opera
...
Types for proofs and programs
Espandi opera
...
Types for proofs and programs
Espandi opera
...