Vacuity Analysis by Fault Simulation.

Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli

Browse the full MEMOCODE paper archive.