Skip to Content

autore :  Clarke

2 pubblicazioni
page_white_acrobat Bounded Model Checking (2003) — Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Ofer Strichman, Yunshan Zhu
page_white_acrobat Model Checking (1999) — Edmund M. Clarke, Orna Grumberg, Doron Peleg
[ Nuvola degli autori  /  pubblicazioni ]