Search alternatives:
automation theory » automata theory, estimation theory, animation theory
automatic theory » automatic theorem, automata theory, automated theory
languages » language
axiomatic » aromatic
Cover Image
Read Now

1
Published 2021
Springer International Publishing
Table of Contents: “... Semantics-Based Language Framework via Proof Generation -- Formal Foundations of Fine-Grained Explainability...”
Cover Image
Read Now

2
Published 2021
Springer International Publishing
Table of Contents: “... automation and control for formal verification of microprocessors -- Algebraic Program Analysis...”