21778 articles – 15587 references  [version française]
.:. Browse > By author > Garillot .:.
1 document
fulltext access Packaging Mathematical Structures
Garillot F., Gonthier G., Mahboubi A., Rideau L.
Dans Theorem Proving in Higher Order Logics 5674 (2009) [inria-00368403 - version 2]