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

1
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Specifications -- Formal Reasoning About Non-atomic Java Card Methods in Dynamic Logic -- Programming Languages...”
Cover Image
Read Now

2
Published 2014
Springer International Publishing
Table of Contents: “... -- Formal Refinement in SysML -- Verifying Modal Workflow Specifications Using Constraint Solving.-Proofs...”
Cover Image
Read Now

3
Published 2020
Springer International Publishing
Table of Contents: “..., Languages, and Automata -- SASB 2019: 10th International Workshop on Static Analysis and Systems Biology...”
Cover Image
Read Now

4
Published 2020
Springer International Publishing
Table of Contents: “...AFFORD 2019: Third Workshop on Practical Formal Verification for Software Dependability -- DataMod...”