Thèses et mémoires (1)
1.
Ganty, P. (2007). The Fixpoint checking problem: an abstraction refinement perspective (Thèse doctorale non-publiée). Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles.