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