VSL 2014: VIENNA SUMMER OF LOGIC 2014

Asynchronous Processing of Formal Documents in Coq

Author: Enrico Tassi

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Asynchronous Processing of Formal Documents in Coq
Authors:Enrico Tassi
Proceedings:UITP 2014 Proceedings
Editors: Bruno Woltzenlogel Paleo and Christoph Benzmüller
Keywords:
Abstract:
Pages:2
Talk:Jul 17 14:30
Paper:
Disclaimer | Powered by EasyChair Smart Program