Publication Overview

Kurt Mehlhorn and Stefan Näher

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

Published in: MFCS
Year: 1998
Pages: 84-93