- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 3 |      | Benjamin Weiß: Predicate Abstraction in a Program Logic Calculus. IFM 2009: 136-150 |
| 2008 | ||
| 2 | | Richard Bubel, Reiner Hähnle, Benjamin Weiß: Abstract Interpretation of Symbolic Execution with Explicit State Updates. FMCO 2008: 247-277 |
| 2007 | ||
| 1 | | Peter H. Schmitt, Benjamin Weiß: Inferring Invariants by Symbolic Execution. VERIFY 2007 |
| 1 | Richard Bubel | [2] |
| 2 | Reiner Hähnle | [2] |
| 3 | Peter H. Schmitt | [1] |