Over−Approximating Boolean Programs with Unbounded Thread Creation
Byron Cook‚ Daniel Kroening and Natasha Sharygina
Book Title
Proceedings of FMCAD 2006
ISBN
0−7695−2707−8
Pages
53–59
Publisher
IEEE
Year
2006
Byron Cook‚ Daniel Kroening and Natasha Sharygina