journal : Advances in Computers
1 article
Bounded Model Checking (2003) — Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Ofer Strichman, Yunshan Zhu Bounded Model Checking (2003) — Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Ofer Strichman, Yunshan Zhu