Implémentation d’un interpréteur pour l’algèbre de processus µCRL2

  • Olivier Croegaert

Student thesis: Master typesMaster in Computer science

Abstract

Date of Award22 Jun 2016
Original languageFrench
Awarding Institution
  • University of Namur
SupervisorJean-Marie JACQUET (Supervisor)

Cite this

'