Automata, Computability and Complexity: Theory & Applications

Proving Correctness Properties of Programs and Hardware

State Transition Diagrams

Model-Based Test-Case Generation

Reverse Engineering

Normal Forms for Relational Databases

The Patent Office: Checking Prior Art