Using Coq to understand nested datatypes Book

• http://www.scopus.com/inward/record.url?eid=2-s2.0-38449105487&partnerID=MN8TOARS

• Overview
• Identity
• View All

Overview

authors

• Blanco, Antonio
• Freire, J.E.

publication date

• 2007

published in

• Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)  Journal

Identity

Digital Object Identifier (DOI)

• https://doi.org/10.1007/978-3-540-75867-9_27