×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [mops model]
Static Analysis for Security POSTECH Laboratory for UNIX Security (PLUS) Kwang Yul Seo
[email protected]
226 views
1 Model Checking One Million Lines of C Code Hao Chen Drew Dean (SRI International) David Wagner with David Schultz, Geoff Morrison, Ben Schwarz Jacob
214 views