Login / Signup

Lazily-Verifiable SAT Proof Checker in SPARK 2014.

André DietrichChristopher SchmidtNico EnghardtTobias Philipp
Published in: Datenschutz und Datensicherheit (2023)
Keyphrases