PLPV '11 : proceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification : January 29, 2011, Austin, Texas, USA
- Författare
- Tex.) 2011 : (38th ACM Symposium on Principles of Programming Languages Austin
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| ACM | uuuu-uuuu | Utgivningsland okänt / Ej specificerat |