Th\'er\`ese Hardin (LIP6)

Identifiers

• name variant Th\'er\`ese Hardin (LIP6) 0.60 · backfill

Papers (3)

1. Yet Another Deep Embedding of B:Extending de Bruijn Notations cs.LO · 2009 · author #3
2. A Few Remarks About Formal Development of Secure Systems cs.LO · 2009 · author #3
3. On the implementation of construction functions for non-free concrete data types cs.LO · 2007 · author #2

Mentions

• 0902.3865 #3 · backfill · confidence 0.70 Th\'er\`ese Hardin (LIP6)
• 0902.3861 #3 · backfill · confidence 0.70 Th\'er\`ese Hardin (LIP6)

Frequent Coauthors

• Dcssi/SDS/Lti) 2 shared papers
• Eric Jaeger (LIP6 2 shared papers
• Fr\'ed\'eric Blanqui (INRIA Lorraine - LORIA) 1 shared papers
• Pierre Weis (INRIA Rocquencourt) 1 shared papers