Browsing by Author Vizel, Y
Showing results 1 to 2 of 2
| Publication Date | Article Title | Author(s) |
|---|---|---|
| 26-Aug-2015 | Boolean Satisfiability Solvers and Their Applications in Model Checking | Vizel, Y; Weissenbacher, G; Malik, Sharad |
| 18-Jul-2018 | Lazy self-composition for security verification | Yang, W; Vizel, Y; Subramanyan, P; Gupta, A; Malik, Sharad |