A Graph Theoretic Approach to the Verification of Program Structures.

John R. Brown, Kurt F. Fischer

Browse the full ICSE paper archive.