Structural Invariants for Some Classes of Structured Programs.

Grard Jacob

Browse the full MFCS paper archive.