Vérification de circuits : problèmes et solutions - Exemple de TestBuilder Gilles Badoil Mémoire de probatoire en informatique, CNAM, Grenoble, March 2002.
