Dcssi/SDS/Lti)

Identifiers

• name variant Dcssi/SDS/Lti) 0.60 · backfill

Papers (2)

1. Yet Another Deep Embedding of B:Extending de Bruijn Notations cs.LO · 2009 · author #2
2. A Few Remarks About Formal Development of Secure Systems cs.LO · 2009 · author #2

Mentions

• 0902.3865 #2 · backfill · confidence 0.70 Dcssi/SDS/Lti)
• 0902.3861 #2 · backfill · confidence 0.70 Dcssi/SDS/Lti)

Frequent Coauthors

• Eric Jaeger (LIP6 2 shared papers
• Th\'er\`ese Hardin (LIP6) 2 shared papers