| |
| 2009 | ||
|---|---|---|
| 5 | EE | Éric Jaeger, Catherine Dubois: Why Would You Trust B? CoRR abs/0902.3858: (2009) |
| 4 | EE | Éric Jaeger, Thérèse Hardin: A Few Remarks About Formal Development of Secure Systems CoRR abs/0902.3861: (2009) |
| 3 | EE | Éric Jaeger, Thérèse Hardin: Yet Another Deep Embedding of B:Extending de Bruijn Notations CoRR abs/0902.3865: (2009) |
| 2008 | ||
| 2 | EE | Éric Jaeger, Thérèse Hardin: A Few Remarks about Formal Development of Secure Systems. HASE 2008: 165-174 |
| 2007 | ||
| 1 | EE | Éric Jaeger, Catherine Dubois: Why Would You Trust B ? LPAR 2007: 288-302 |
| 1 | Catherine Dubois | [1] [5] |
| 2 | Thérèse Hardin | [2] [3] [4] |