DMCA

Verification of Boolean programs with unbounded thread creation (2007)

by Byron Cook , Daniel Kroening , Natasha Sharygina
Citations:8 - 6 self