Login / Signup

How Verified is My Code? Falsification-Driven Verification (T).

Alex GroceIftekhar AhmedCarlos JensenPaul E. McKenney
Published in: ASE (2015)
Keyphrases