Graph-based verification of static program constraints.

Selim Ciraci, Pim van den Broek, Mehmet Aksit

Browse the full SAC paper archive.