Patrick Trentin

Teaching

• Laboratory of Formal Methods (2017/2018)
  Course: University of Trento - Master of Science in Computer Science
  Owner: Roberto Sebastiani
  Web page: fm2018


• Laboratory of Formal Methods (2016/2017)
  Course: University of Trento - Master of Science in Computer Science
  Owner: Roberto Sebastiani
  Web page: fm2017


• Laboratory of Formal Methods (2015/2016)
  Course: University of Trento - Master of Science in Computer Science
  Owner: Roberto Sebastiani
  Web page: fm2016


• Laboratory of Formal Methods (2014/2015)
  Course: University of Trento - Master of Science in Computer Science
  Owner: Roberto Sebastiani
  Web page: fm2015