Implication and evaluation techniques for proving fault equivalence | IEEE Conference Publication | IEEE Xplore
  翻译: