Searching for "Engineering with logic HOL specification and symbolic-evaluation testing for TCP implementations." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Engineering with Logic: HOL Specification and Symbolic-Evaluation Testing for TCP Implementations
by Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough — 2006 — POPL'06
…Abstract Engineering with Logic: HOL Specification and Symbolic-Evaluation Testing for TCP…
Cited by 10 (5 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB