|
|
by Roggenbach, Markus, Cerone, Antonio, Schlingloff, Bernd-Holger, Schneider, Gerardo
Published 2022
Table of Contents:
“... and Development of Formal Methods -- Authors' Conclusion -- Appendix A Syntax of the Logics in this Book...”Published 2022
Springer International Publishing