Automatic Modularization of Large Programs for Bounded Model Checking.

Marko Kleine Bning, Carsten Sinz

Browse the full ICFEM paper archive.