|
|
||
|---|---|---|
|
tel-00726510v1
Thèse
Ali Assaf. A Common Aspect Languages Interpreter Software Engineering [cs.SE]. Université de Nantes, 2011. English |
||
|
tel-01235303v4
Thèse
Ali Assaf. A framework for defining computational higher-order logics Computer Science [cs]. École polytechnique, 2015. English |
||
|
|
||