Automatic Result Verification by Complete Run-Time Checking of Computations (2000)

Cached

Download Links

by Edgar F. A. Lederer , Romeo A. Dumitrescu
Citations:1 - 0 self