×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [b listlen v]
Checking Properties Of Software Static Safety Verification Dynamic Liveness Testing
233 views
Using Types For Software Verification Ranjit Jhala, UC San Diego (with Pat Rondon, Ming Kawaguchi)
215 views