Login / Signup

SYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs.

Shuvendu K. LahiriChris HawblitzelMing KawaguchiHenrique Rebêlo
Published in: CAV (2012)
Keyphrases