Contraintes ensemblistes et specifications formelles

Le but de cette these est de donner des outils permettant de decrire et de traiter des relations entre ensembles intentionnels (contraintes ensemblistes), pu...