Login / Signup
Verification column.
Neha Rungta
Published in:
ACM SIGLOG News (2018)
Keyphrases
</>
model checking
signature verification
formal verification
data sets
verification method
database
web services
formal methods
concurrent systems
binary matrix