booktheque

Proceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification

Ranjit Jhala · 2011

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

View on Amazon

Book details

Year
2011
Language
English
Publisher
Association for Computing Machinery
Editions
1
ISBN
9781450304870

Data source: Wikidata

More by Ranjit Jhala

Compiler Construction
Ranjit Jhala · 2013
Programming Languages and Systems
Ranjit Jhala · 2012
Verification, Model Checking, and Abstract Interpretation
Ranjit Jhala · 2011
Refinement Types
Ranjit Jhala · 2021