Advances in Computers

funge da

collana che contiene

Bounded Model Checking (2003) — Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Ofer Strichman, Yunshan Zhu

— acronimo

AdvComput

— editore

Elsevier B.V.

URL

— ISSN