Search alternatives:
automation theory » automata theory, estimation theory, animation theory
automatic theory » automatic theorem, automata theory, axiomatic theory
languages » language
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: “...HFM 2019: First History of Formal Methods Workshop -- NSAD 2019: 8th International Workshop...”
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...”