Login / Signup
SMACK software verification toolchain.
Montgomery Carter
Shaobo He
Jonathan Whitaker
Zvonimir Rakamaric
Michael Emmi
Published in:
ICSE (Companion Volume) (2016)
Keyphrases
</>