Automated Reasoning Opens European Office for I-CAT Support.Published in:Quality & Reliability Engineering International, 1990, v. 6, n. 5, p. 375Publication type:Article