Record Nr.

UNINA9910376024003321

Autore

Jhala Ranjit

Titolo

PLPV '11 : proceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification : January 29, 2011, Austin, Texas, USA

Pubbl/distr/stampa


[Place of publication not identified], : ACM, 2011

Descrizione fisica

1 online resource (62 pages)

Collana

ACM Conferences

Soggetti

Engineering & Applied Sciences

Computer Science

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Bibliographic Level Mode of Issuance: Monograph