Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Automated Verification
  4. Verification of Boolean Programs with Unbounded Thread Creation

Verification of Boolean Programs with Unbounded Thread Creation

Byron Cook‚ Daniel Kroening and Natasha Sharygina

Journal
Theoretical Computer Science (TCS)
Pages
227–242
Publisher
Elsevier
Volume
388
Year
2007

Links

See Also

Back to Top