Publications

The IBM JBICB-ABIC Verification Suite

• • P.S. Colyer
  • Joan L. Mitchell
• 1998
• IBM J. Res. Dev