Automated Reasoning Corp, developer of the I-CAT expert system for computer-aided testing of electronic equipment on Unix workstations, has set up a UK office in London.
AUTOMATED REASONING SETS UP UK OFFICE IN LONDON
