Search alternatives:
"prover" » "proven", "proved", "proves"
Cover Image
Read Now

1
Published 2020
Springer International Publishing
Table of Contents: “... System Provers in the KeYmaera Family – A Tale of Three Provers -- Improving Performance of the VerCors...”