×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [model checking xom x]
Home >
model checking xom x
1 Specifying and Verifying Hardware Support for Copy and Tamper-Resistant Software David Lie, John Mitchell, Chandramohan Thekkath and Mark Horowitz Computer.
217 views