Publication Overview

Kurt Mehlhorn and Stefan Näher

From Algorithms to Working Programs on the Use of Program Checking in LEDA

Published in: IFIP Congress: Fundamentals - Foundations of Computer Science
Year: 1998
Pages: 81-88