Automatically Checking Semantic Equivalence between Versions of Large-Scale C Projects.

Viktor Malk, Toms Vojnar

Browse the full ICST paper archive.