Skip to main content

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