|
by Ahmed, Asad, Hasan, Osman, Awwad, Falah, Bastaki, Nabil
Published 2022
Table of Contents:
“...Introduction -- Interactive Theorem Proving -- Formalization of Stability Theory -- Formalization...”Published 2022
Springer International Publishing