Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by EDGAR F. A. LEDERER
Automatic Result Verification by Complete Run-Time Checking of Computations
International Journal of Foundations of Computer Science
Computer Science