✦ LIBER ✦
[IEEE 2009 24th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Auckland, New Zealand (2009.11.16-2009.11.20)] 2009 IEEE/ACM International Conference on Automated Software Engineering - SMT-Based Bounded Model Checking for Embedded ANSI-C Software
✍ Scribed by Cordeiro, Lucas; Fischer, Bernd; Marques-Silva, Joao
- Book ID
- 118023884
- Publisher
- IEEE
- Year
- 2009
- Weight
- 528 KB
- Volume
- 0
- Category
- Article
- ISBN
- 1424452597
No coin nor oath required. For personal study only.