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]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page