Formalisation d'une bibiothèque de modèles atomiques d'eBusiness à l'aide du langages e3value

  • Jean-Baptiste van den Hove d'Ertsenryck

Student thesis: Master types › Master in Computer science

Date of Award2007
Original languageFrench
SupervisorMichael Petit (Co-Supervisor) & Claire Lobet-Maris (Co-Supervisor)

Cite this

'