top
Biblioteche
Info
Contattaci
Persona
Opera
Persona
Opera
Persona/Opera
Vai a Pubblicazioni
Persona/Ente/Famiglia
Espandi
Riduci
Questo autore in
Export / Download
PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)
Jhala, Ranjit
ID:
904352
Opere
Altre forme del nome
Jhala, Ranjit
Jhala Ranjit
Seleziona tutte
Deseleziona
PLPV '11 : proceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification : January 29, 2011, Austin, Texas, USA
...
Verification, model checking, and abstract interpretation
...