| |
| 2007 | ||
|---|---|---|
| 1 | EE | Alessandro Armando, Massimo Benerecetti, Dario Carotenuto, Jacopo Mantovani, Pasquale Spica: The eureka tool for software model checking. ASE 2007: 541-542 |
| 1 | Alessandro Armando | [1] |
| 2 | Massimo Benerecetti | [1] |
| 3 | Dario Carotenuto | [1] |
| 4 | Jacopo Mantovani | [1] |