TY  - RPRT
TI  - Bounded Model Checking of Multi-threaded Software using SMT solvers
AU  - Lucas Cordeiro
AU  - Bernd Fischer
PY  - 2010
UR  - https://arxiv.org/abs/1003.3830
ID  - 1003.3830
ER  -