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

Cached

Download Links

by Kurt Mehlhorn , Stefan Näher
Venue:IN PROC. INT. CONF. ON MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE (MFCS 98
Citations:8 - 2 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