A Characterization of Floyd-Provable Programs.

Hajnal Andrka, Istvn Nmeti, Ildik Sain

Browse the full MFCS paper archive.