The use of SMT solvers in IT security

No ratings

Presented at BSidesLondon 2017 by

Thaís

N/A