TY  - RPRT
TI  - Model Checking C Programs with Loops via k-Induction and Invariants
AU  - Herbert Rocha
AU  - Hussama Ismail
AU  - Lucas Cordeiro
AU  - Raimundo Barreto
PY  - 2015
UR  - https://arxiv.org/abs/1502.02327
ID  - 1502.02327
ER  -