Logic and Formal Methods

Dr. Christian Engel

  •