Equivalence algorithmique par transformations de programmes logiques avec contraintes

Student thesis: Master typesMaster in Computer science

Date of Award23 Jun 2017
Original languageFrench
Awarding Institution
  • University of Namur
SupervisorAnthony Cleve (President), Wim Vanhoof (Supervisor) & Pierre Yves Schobbens (Jury)

Cite this

'