Sandrine Blazy, Benoît Robillard, Eric Soutif. Vérification formelle d'un algorithme d'allocation de registres par coloration de graphe.
JFLA (Journées Francophones des Langages Applicatifs), INRIA, Jan 2008, Etretat, France. pp.31-46.
⟨inria-00202713⟩