External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Internal Adequacy of Bookkeeping in Coq

Alberto Ciaffaglione, Ivan Scagnetto. Internal Adequacy of Bookkeeping in Coq. In Amy P. Felty, Brigitte Pientka, editors, Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP '14, Vienna, Austria, July 17, 2014. ACM, 2014. [doi]

Authors

Alberto Ciaffaglione

This author has not been identified. Look up 'Alberto Ciaffaglione' in Google

Ivan Scagnetto

This author has not been identified. Look up 'Ivan Scagnetto' in Google
runs on