Logic and Formal Methods

Prof. Dr. Bernhard Beckert

  •