| |
| 2007 | ||
|---|---|---|
| 1 | EE | Ivo Raedts, Marija Petkovic, Alexander Serebrenik, Jan Martijn E. M. van der Werf, Lou J. Somers, Maarten Boote: A software framework for automated verification. SAC 2007: 1031-1032 |
| 1 | Marija Petkovic | [1] |
| 2 | Ivo Raedts | [1] |
| 3 | Alexander Serebrenik | [1] |
| 4 | Lou J. Somers | [1] |
| 5 | Jan Martijn E. M. van der Werf | [1] |