| 2001 | ||
|---|---|---|
| 2 | EE | Didar Zowghi, Vincenzo Gervasi, Andrew McRae: Using Default Reasoning to Discover Inconsistencies in Natural Language Requirements. APSEC 2001: 133- |
| 1993 | ||
| 1 | Andrew McRae: Hardware Profiling of Kernels. USENIX Winter 1993: 375-386 | |
| 1 | Vincenzo Gervasi | [2] |
| 2 | Didar Zowghi | [2] |