top

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

Espandi
Riduci







Jhala, Ranjit
ID: 904352

Opere

Seleziona tutte
Deseleziona


PLPV '11 : proceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification : January 29, 2011, Austin, Texas, USA
Espandi opera
...
Verification, model checking, and abstract interpretation
Espandi opera
...