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

View PDF

Download Links

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