Search alternatives:
automatic theory » automatic theorem, automation theory, automata theory
Cover Image
Read Now

1
Published 2003
Springer Berlin Heidelberg
Table of Contents: “...Alloy: A Logical Modelling Language -- An Outline Pattern Language for Z: Five Illustrations...”
Cover Image
Read Now

2
Published 2000
Springer Berlin Heidelberg
Table of Contents: “...Meeting the Challenge of Object-Oriented Programming -- A Formal Mapping between UML Models...”
Cover Image
Read Now

3
Published 2017
Springer International Publishing
Table of Contents: “... Interface-Driven Design of Evolving Component-Based Architectures -- Part V: Automatic Verification...”
Cover Image
Read Now

4
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... Model Checker for Z -- Formal Modeling and Analysis of a Flash Filesystem in Alloy -- Unit Testing of Z...”