Inproceedings,

SMT-Based Bounded Model Checking for Embedded ANSI-C Software.

, , and .
ASE, page 137-148. IEEE Computer Society, (2009)

Meta data

Tags

Users

  • @dblp

Comments and Reviews