| |
| 2008 | ||
|---|---|---|
| 2 | EE | Stefan Maus, Michal Moskal, Wolfram Schulte: Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving. AMAST 2008: 284-298 |
| 2005 | ||
| 1 | EE | Matthias Daum, Stefan Maus, Norbert Schirmer, M. Nassim Seghir: Integration of a Software Model Checker into Isabelle. LPAR 2005: 381-395 |
| 1 | Matthias Daum | [1] |
| 2 | Michal Moskal | [2] |
| 3 | Norbert Schirmer | [1] |
| 4 | Wolfram Schulte | [2] |
| 5 | M. Nassim Seghir | [1] |