Engineering with Logic: HOL Specification and Symbolic-Evaluation Testing for TCP Implementations (2006)

Cached

Download Links

by Steve Bishop , Matthew Fairbairn , Michael Norrish , Peter Sewell , Michael Smith , Keith Wansbrough
Venue:POPL'06
Citations:24 - 8 self