Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant /

PSZKLL

Bibliographic Details
Main Author:	Chlipala, Adam, 1981-
Format:
Language:	eng
Published:	Cambridge, MA : The MIT Press, 2013
Subjects:	Automatic theorem proving Computer programming.

Similar Items