Contact

Eitan Farchi, Verification & Quality Technologies, IBM Research - Haifa

The theoretical basis for validation