Home
Genres
Deals
Log in
Sign up
Premium
Help
Download
Privacy
Terms
Byron Cook — Author | Lex | Lex
B
Byron Cook
2 works on record
Works
Computer Aided Verification
Computer Aided Verification
Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems