Record Nr.

UNINA9910376188203321

Autore

Altenkirch Thorsten

Titolo

PLPV '09 : proceedings of the 2009 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, Savannah, Georgia, USA, January 20, 2009

Pubbl/distr/stampa


[Place of publication not identified], : Association for Computing Machinery, 2009

Descrizione fisica

1 online resource (90 p.;)

Collana

ACM Conferences

Disciplina

005.13

Soggetti

Computer programs - Verification

Programming languages (Electronic computers)

Engineering & Applied Sciences

Computer Science

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Bibliographic Level Mode of Issuance: Monograph