## E-Mails 📧

- ed.bew @remrihcs.trebron

## Entries

### 2019

##### A Reduction Theorem for Store Buffers

by Ernie Cohen 📧 and Norbert Schirmer 📧
Jan 07

### 2008

##### BDD Normalisation

by Veronika Ortner and Norbert Schirmer
Feb 29

##### A Sequential Imperative Programming Language Syntax, Semantics, Hoare Logics and Verification Environment

by Norbert Schirmer
Feb 29

### 2005

##### Jive Data and Store Model

by Nicole Rauch 📧 and Norbert Schirmer
Jun 20