version française
All team publications
Publications - Julien Forest
[
BibTeX Format
]
[
BFPR06
]
G.
Barthe
, J.
Forest
, D.
Pichardie
, and V. Rusu. Defining and reasoning about recursive functions: a practical tool for the Coq proof assistant. In M. Hagiya and P. Wadler, editors,
Proceedings of FLOPS'06
, volume 3945 of
Lecture Notes in Computer Science
, pages 114-129.
Springer-Verlag
, 2006. [
bib
|
.pdf
|
.ps.gz
]
This file has been generated by
bibtex2html
1.87.
on Tue, 02 Sep 2008 00:00:08 +0200