# Program Logics for Certified Compilers

> book by Andrew Appel

**Wikidata**: [Q27976187](https://www.wikidata.org/wiki/Q27976187)  
**Source**: https://4ort.xyz/entity/program-logics-for-certified-compilers


## References

1. Goodreads