Logic and Formal Methods

Dr. Wolfgang Ahrendt

  •