english version Toutes les publications de l'équipe
Publications - Julien Forest
[Format BibTeX]

[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