Travelled to:1 × USA
Collaborated with:M.Fairbairn M.Norrish P.Sewell M.Smith K.Wansbrough
Talks about:implement (1) symbol (1) specif (1) logic (1) evalu (1) engin (1) test (1) tcp (1) hol (1)
Person: Steve Bishop
DBLP: Bishop:Steve
Contributed to:
2006Wrote 1 papers:
- POPL-2006-BishopFNSSW #implementation #logic #specification #testing
- Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations (SB, MF, MN, PS, MS, KW), pp. 55–66.