Repair of boolean programs with an application to C

Cached

Download Links

by Andreas Griesmayer , Roderick Bloem , Byron Cook
Venue:In CAV (2006
Citations:14 - 3 self