Steve Bishop

	2006
2		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		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

Coauthor Index

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]