Wiki Agenda Contact Version française

Publications : Thibaut Hilaire

Back
[1] Diane Gallois-Wong, Sylvie Boldo, and Thibault Hilaire. A Coq formalization of digital filters. working paper or preprint, March 2018. [ bib | full text on HAL ]

Back
This page was generated by bibtex2html.