AboutSign inJoin
Using HOL to Verify a Fault-tolerance Machine

Using HOL to Verify a Fault-tolerance Machine

Hao Xu — 1993

Deep cut – we couldn't find a description for this book.

Sign up to use