Report - Concepts de base de la sémantique formellejsm.loria.fr/jsm10/documents/lectures/lecomte.pdf5 -calcul Abstraction de predicat et fonctions d’assignation´ Alain Lecomte Universite

Please pass captcha verification before submit form