Hardware Verification using ANSI−C Programs as a Reference
Edmund Clarke and Daniel Kroening
Details
| 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
Related pages
|
People |