Conception d'un atelier pour l'algèbre de processus mCRL2

  • Jeremy Vander Auwera

Student thesis: Master types › Master in Computer science

Date of Award23 Jun 2021
Original languageFrench
Awarding Institution
  • University of Namur
SupervisorJean-Marie Jacquet (Supervisor)

Cite this

Documents

'