author : Alessandro Cimatti
1
publication
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