Logic and Formal Methods

Dr. Steffen Schlager

  •