| |
| 2006 | ||
|---|---|---|
| 2 | EE | Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough: Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations. POPL 2006: 55-66 |
| 2005 | ||
| 1 | EE | Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough: Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets. SIGCOMM 2005: 265-276 |
| 1 | Matthew Fairbairn | [1] [2] |
| 2 | Michael Norrish | [1] [2] |
| 3 | Peter Sewell | [1] [2] |
| 4 | Michael Smith | [1] [2] |
| 5 | Keith Wansbrough | [1] [2] |