×
  • CAFE: An Industrial Strength Algebraic Formal Method

    K. Futatsugi A.T. Nakagawa T. Tamai

Click on cover to enlarge.
4 - 5Hours to read