Automatic Result Verification by Complete Run-Time Checking of Computations
International Journal of Foundations of Computer Science - Singapore
doi 10.1142/s0129054101000424
Full Text
Open PDFAbstract
Available in full text
Categories
Date
February 1, 2001
Authors
Publisher
World Scientific Pub Co Pte Lt