×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [verification productivity]
1 Moshe Levinger – from IBM Labs Haifa Daniel Kroening – from ETH Zurich Sharad Malik – from Princeton US Nikolaj Bjorner – from Microsoft Research US
220 views