Results 1 -
1 of
1
From Algorithms to Working Programs On the Use of Program Checking in LEDA
- IN PROC. INT. CONF. ON MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE (MFCS 98
, 1998
"... We report on the use of program checking in the LEDA library of efficient data types and algorithms. ..."
Abstract
-
Cited by 5 (2 self)
- Add to MetaCart
We report on the use of program checking in the LEDA library of efficient data types and algorithms.
