TY  - RPRT
TI  - Model Checking Software Programs with First Order Logic Specifications using AIG Solvers
AU  - Fadi A. Zaraket
AU  - Mohamad Noureddine
PY  - 2014
UR  - https://arxiv.org/abs/1409.6825
ID  - 1409.6825
ER  -