CAFE: An Industrial-Strength Algebraic Formal Method: An Industrial-Strength Algebraic Formal Method

by

  • Publisher: Elsevier Science
  • Print ISBN: 9780444505569, 0444505563

  • eText ISBN: 9780080528403, 0080528406

  • Pages: 208