Jean-Christophe Filliatre
Proceedings of the 4th ACM SIGPLAN Workshop on Programming Languages Meets Program Verification
Jean-Christophe Filliatre · 2010
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 AmazonBook details
- Year
- 2010
- Language
- English
- Publisher
- Association for Computing Machinery
- Editions
- 1
- ISBN
- 9781605588902
Data source: Wikidata