Login / Signup

Software model checking via large-block encoding.

Dirk BeyerAlessandro CimattiAlberto GriggioM. Erkan KeremogluRoberto Sebastiani
Published in: FMCAD (2009)
Keyphrases