| [1] | François Pottier and Jonathan Protzenko. Mezzo, 2014. [ Software ] |
| [2] | François Pottier. dblib, 2013. [ Software ] |
| [3] | François Pottier. Cαml, 2005. [ Software ] |
| [4] | François Pottier. Wallace, 2000. [ Software ] |
| [5] | François Pottier. Visitors, 2017--2022. [ Software ] |
| [6] | François Pottier. Unionfind, 2019--2022. [ Software ] |
| [7] | Arthur Charguéraud and François Pottier. Sek, 2020--2022. [ Software ] |
| [8] | François Pottier. pprint, 2007--2022. [ Software ] |
| [9] | François Pottier. Monolith, 2020--2022. [ Software ] |
| [10] | François Pottier, Yann Régis-Gianas, Frédéric Bour, and Jacques-Henri Jourdan. Menhir, 2005--2022. [ Software ] |
| [11] | François Pottier. Inferno, 2014--2022. [ Software ] |
| [12] | François Pottier. Fix, 2009--2022. [ Software ] |
This file was generated by bibtex2html 1.99.