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

1
Published 2023
Springer International Publishing
Table of Contents: “... Controller -- Using an Interactive Theorem Prover for Formally Analyzing the Dynamics of the Unmanned Aerial...”