Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Hardware Verification using ANSI−C Programs as a Reference

Hardware Verification using ANSI−C Programs as a Reference

Edmund Clarke and Daniel Kroening

Book Title
Proceedings of ASP−DAC 2003
ISBN
0−7803−7659−5
Month
January
Pages
308–311
Publisher
IEEE Computer Society Press
Year
2003

Links

See Also

Back to Top