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
Edmund Clarke and Daniel Kroening