Search alternatives:
automatic theory » automatic theorem, automation theory, automata 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 2020
Springer International Publishing
Table of Contents: “...HFM 2019: First History of Formal Methods Workshop -- NSAD 2019: 8th International Workshop...”
Cover Image
Read Now

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