Author

Profile picture
Miroslav Velev
Reservoir Labs
New York, NY, United States of America
1 article by this author
Sort by:
Editorial
Tuning SAT for Formal Verification and Testing
Miroslav Velev
10.3217/jucs-010-12
 28-12-2004
 Unique: 259 | Total: 303  | Access Period:
 1559-1561
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK