Towards Verification via Supercompilation.

Alexei Lisitsa, Andrei P. Nemytykh

Browse the full COMPSAC paper archive.