Logic and Formal Methods

Dr. Isabel Tonin

  •