Formal Spec & Verf of Systems

Course

Participant

  • Charpentier, Michel   Taught course   2015
  • Charpentier, Michel   Taught course   2016
  • Charpentier, Michel   Taught course   2017
  • Charpentier, Michel   Taught course   2018
  • Charpentier, Michel   Taught course   2019
  • Charpentier, Michel   Taught course   2020
  • Charpentier, Michel   Taught course   2021
  • Charpentier, Michel   Taught course   2022
  • Credits

  • 3