## E-Mails 📧

- rf.irl @ihcuomen
- ku.ca.kroy @ihcuomen.buokay

## Entries

### 2019

##### Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of Programming

by Simon Foster 🌐, Frank Zeyda, Yakoub Nemouchi 📧, Pedro Ribeiro and Burkhart Wolff 📧
Feb 01

### 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