Completeness Problems in Verification of Programs and Program Schemes.

Hajnal Andrka, Istvn Nmeti, Ildik Sain

Browse the full MFCS paper archive.