Logic and Formal Methods

Prof. Dr. Reiner Hähnle

  •