Login / Signup

Under-Approximation Generation Driven by Relevance Predicates and Variants.

Jacques JulliandOlga KouchnarenkoPierre-Alain MassonGuillaume Voiron
Published in: TAP@STAF (2018)
Keyphrases