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] |