Student theses
- 1 results
Search results
-
Equivalence algorithmique par transformations de programmes logiques avec contraintes
Author: Yernaux, G., 23 Jun 2017Supervisor: Cleve, A. (President), Vanhoof, W. (Supervisor) & Schobbens, P. (Jury)
Student thesis: Master types › Master in Computer science
File