Programmes par eqchecker.sf.net

Un poche statique qui modèle vérifie la mise en œuvre de l’égalité pour un projet Eclipse Java.