About
Sign in
Join
Program Logics for Certified Compilers
Andrew W. Appel
—
2014
This tutorial for graduate students covers practical and theoretical aspects of separation logic with constructions and proofs in Coq.
Buy
Want to read
Sign up to use
Share