Login / Signup

Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices.

Jean-Christophe LéchenetNikolai KosmatovPascale Le Gall
Published in: FASE (2016)
Keyphrases