Repair of Boolean Programs with an Application to C.

Andreas Griesmayer, Roderick Bloem, Byron Cook

Browse the full CAV paper archive.