DMCA

Over-Approximating Boolean Programs with Unbounded Thread Creation (2006)

by Byron Cook , Daniel Kroening
Venue:In: Formal Methods in Computer-Aided Design (FMCAD), IEEE
Citations:4 - 3 self