Hilbert's Programs and Beyond by Wilfried Sieg Hardcover Oxford

Program Proofs, Leino, K. Rustan M., Excellent Book

Certified Programs and Proofs - 9783642353079

Certified Programs and Proofs - 9783319035444

Program Proofs

Types for Proofs and Programs : International Workshop, TYPES 200

Formal Development of Programs and Proofs edited by Edsger Dijkstra (hardcover)

Types for Proofs and Programs : International Workshop, Types 2000, Durham, U...