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

by S Bishop, M Fairbairn, M Norrish, P Sewell, M Smith, K Wansbrough
Venue:in: Symposium on the Principles of Programming Languages, POPL, 2006