## E-Mails 📧

- rf.irl @ihcailef.enamharredba

## Entries

### 2014

##### Formal Specification of a Generic Separation Kernel

by Freek Verbeek 📧, Sergey Tverdyshev 📧, Oto Havle 📧, Holger Blasum 📧, Bruno Langenstein 📧, Werner Stephan 📧, Yakoub Nemouchi 📧, Abderrahmane Feliachi 📧, Burkhart Wolff 📧 and Julien Schmaltz 📧
Jul 18

### 2012

##### Isabelle/Circus

by Abderrahmane Feliachi 📧, Burkhart Wolff 📧 and Marie-Claude Gaudel 📧
May 27