Bjorner Nikolaj

Digital Library

ACM Fellows

USA - 2021

citation

For contributions to SMT solvers and network verification

Press Release