| 2007 | ||
|---|---|---|
| 1 | EE | Jonathan Aldrich, Mike Barnett, Dimitra Giannakopoulou, Gary T. Leavens, Natasha Sharygina: Specification and verification of component-based systems 2007. ESEC/SIGSOFT FSE 2007: 609-610 |
| 1 | Jonathan Aldrich | [1] |
| 2 | Dimitra Giannakopoulou | [1] |
| 3 | Gary T. Leavens | [1] |
| 4 | Natasha Sharygina | [1] |