Rankings
Publications
Search Publications
Cited-by Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Scilit
About Us
Advisory Board
Data Sources
Career
Support / Contact
User Guide
Publisher User
Search Function
Rankings Function
API Resource
Scilit Knowledge
Metrics
Scilit Recognitions
Publications Classification
Media
News
Blog
Login
Register
Home
Publications
Compositional Computational Reflection
Home
Publications
Compositional Computational Reflection
Compositional Computational Reflection
Authors:
GM
Gregory Malecha
Gregory Malecha
AC
Adam Chlipala
Adam Chlipala
TB
Thomas Braibant
Thomas Braibant
Article Alert
Citation Alert
Add to Library
Cite
Download
Share
Download
Download PDF
Download
Open Access
Publisher website
Google Scholar
1 January 2014
book chapter
Published by
Springer Nature
in
Lecture Notes in Computer Science
p.
374-389
DOI:
10.1007/978-3-319-08970-6_24
Abstract
No abstract available
Keywords
COMPUTATIONAL REFLECTION
AUTOMATION
COQ
VERIFICATION
Cited
Cited by 15 articles
Scroll to top