Login / Signup
Verification column.
Neha Rungta
Published in:
ACM SIGLOG News (2016)
Keyphrases
</>
model checking
formal analysis
face verification
artificial intelligence
website
asynchronous circuits
verification method
column oriented
real time
multiscale
data structure
mobile robot
data storage
signature verification
concurrent systems