From Algorithms to Working Programs: On the Use of Program Checking in LEDA.

Kurt Mehlhorn, Stefan Nher

Browse the full MFCS paper archive.