What Can Be Verified Locally?
Journal of Computer and System Sciences - United States
doi 10.1016/j.jcss.2018.05.004
Full Text
Open PDFAbstract
Available in full text
Categories
Date
November 1, 2018
Authors
Publisher
Elsevier BV
Available in full text
November 1, 2018
Elsevier BV