forest.bib

@INPROCEEDINGS{BFPR06:flops,
  author = {G. Barthe and  J. Forest and  D. Pichardie and V. Rusu},
  title = {{Defining and reasoning about recursive functions: a practical tool for the Coq proof assistant}},
  pages = {114-129},
  pdfurl = {http://www-sop.inria.fr/everest/personnel/David.Pichardie/Publis/genfixpoint.pdf},
  psurl = {http://www-sop.inria.fr/everest/personnel/David.Pichardie/Publis/genfixpoint.ps.gz},
  topics = {team},
  crossref = {flops06}
}

@PROCEEDINGS{flops06,
  booktitle = {Proceedings of FLOPS'06},
  title = {Proceedings of FLOPS'06},
  year = 2006,
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  volume = 3945,
  editor = {M. Hagiya and P. Wadler}
}

This file has been generated by bibtex2html 1.87.