Damien Pous
1
Documents
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
A certificate-based approach to formally verified approximationsITP 2019 - Tenth International Conference on Interactive Theorem Proving, Sep 2019, Portland, United States. pp.1-19, ⟨10.4230/LIPIcs.ITP.2019.8⟩
Communication dans un congrès
hal-02088529v2
|