Showing 1 - 1 results of 1 for search 'Zohar, Y', query time: 0.02s Refine Results
  1. 1
    Formal verification of bit-vector invertibility conditions in Coq

    Formal verification of bit-vector invertibility conditions in Coq by Ekici, B, Viswanathan, A, Zohar, Y, Tinelli, C, Barrett, C

    Published 2023
    Conference item

Search Tools: