Login / Signup
SMACK+Corral: A Modular Verifier - (Competition Contribution).
Arvind Haran
Montgomery Carter
Michael Emmi
Akash Lal
Shaz Qadeer
Zvonimir Rakamaric
Published in:
TACAS (2015)
Keyphrases
</>
databases
multiscale
pattern recognition
relational databases
distributed systems