fdr.announce
Last modified 16:35:11, 22 Nov 1993 - 13.3K - text Announcement of availaility of academic licences for FDR
(Failures Divergence Refinement) tool. The distribution is
available to educational institutions for a nominal media
charge. It is a refinement checking tool for CSP.