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

1
Published 2003
Springer Berlin Heidelberg
Table of Contents: “...Reification of Executable Test Scripts in Formal Specification-Based Test Generation: The Java Card...”
Cover Image
Read Now

2
Published 2014
Springer Berlin Heidelberg
Table of Contents: “... Requirements -- Semantically Configurable Analysis of Scenario-Based Specifications -- Formal Verification...”