Steve Bishop
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2005–2006
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | POPL | Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations. | Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough |
| 2005 | SIGCOMM | Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets. | Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough |