Bibtex:CoLoR11

From Termination-Portal.org
Revision as of 09:11, 18 January 2011 by Blanqui (talk | contribs) (Created page with " <!-- remove this line if this is not a new publication --> == BibTex == <!-- Please add the BibTeX data below this comment. -->...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

BibTex

F. Blanqui, A. Koprowski - {CoLoR}: a {Coq} library on well-founded rewrite relations and its application to the automated verification of termination certificates

Mathematical Structures in Computer Science ?(?):?-?,2011
Bibtex
Author : F. Blanqui, A. Koprowski
Title : {CoLoR}: a {Coq} library on well-founded rewrite relations and its application to the automated verification of termination certificates
In : Mathematical Structures in Computer Science -
Address :
Date : 2011
Retrieved from "http://termination-portal.org/mediawiki/index.php?title=Bibtex:CoLoR11&oldid=1125"