Invited Paper: Using Signed Formulas for Online Certification.

Julius Wenzel, Andreas Berg, Christof Fetzer

Browse the full SSS paper archive.