Capturing program models with BISM.

Chukri Soueidi, Ylis Falcone

Browse the full SAC paper archive.