Equivalence algorithmique par transformations de programmes logiques avec contraintes

  • G. Yernaux

Student thesis: Master typesMaster in Computer science

Abstract

Date of Award23 Jun 2017
Original languageFrench
Awarding Institution
  • University of Namur
SupervisorAnthony Cleve (President), Wim VANHOOF (Supervisor) & PIERRE-YVES SCHOBBENS (Jury)

Cite this

'