From Algorithms to Working Programs On the Use of Program Checking in LEDA (1998)

by Kurt Mehlhorn , Stefan Näher
Venue:IN PROC. INT. CONF. ON MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE (MFCS 98
Citations:9 - 3 self

Document Versions

From Algorithms to Working Programs On the Use of Program Checking in LEDA –Kurt Mehlhorn, Stefan Näher — 1998 — IN PROC. INT. CONF. ON MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE (MFCS 98
From Algorithms to Working Programs: On the Use of Program Checking in LEDA –Kurt Mehlhorn , Stefan Näher — 1998