Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Making the Most of BMC Counterexamples

Making the Most of BMC Counterexamples

Alex Groce and Daniel Kroening

Book Title
Proceedings of BMC 2004
Pages
67–81
Publisher
Elsevier
Series
ENTCS
Volume
119
Year
2005

Links

See Also

Back to Top