Program logics for certified compilers /

Bibliographic Details
Main Author:	Appel, Andrew W., 1960- (Author)
Format:	Book
Language:	English
Published:	Cambridge ; New York : Cambridge University Press, 2014.
Subjects:	Computer software > Verification. Logic, Symbolic and mathematical. Compilers (Computer programs)

Evans: Library Stacks