![]() | ![]() |
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] |