Kurt Mehlhorn, Stefan Näher. From Algorithms to Working Programs on the Use of Program Checking in LEDA. In Kurt Mehlhorn, editor, Fundamentals - Foundations of Computer Science, IFIP World Computer Congress 1998, August 31 - September 4, 1998, Vienna/Austria and Budapest/Hungary. Volume 117 of books@ocg.at, pages 81-88, Austrian Computer Society, 1998.
Abstract is missing.