Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations

Bishop, SteveFairbairn, MatthewNorrish, MichaelSewell, PeterSmith, MichaelWansbrough, Keith2015-12-08January 111595930272http://hdl.handle.net/1885/30966Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations20062015-12-08