×
  • Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday

    Brigitte Pientka (auth.)

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