Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations
- Steve Bishop*
- , Matthew Fairbairn
- , Michael Norrish
- , Peter Sewell
- , Michael Smith
- , Keith Wansbrough
*Corresponding author for this work
Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-review
16
Citations
(Scopus)