The Coq mailing list

[Djamila baroudi <baroudi.d7 AT gmail.com>]

bonsoir tous
je veux savoir les différentes spécification faites par Coq, ainsi les travaux pour former une état de l'art
je vous informe que je suis une doctorante a ma première inscription et je travaille sur les techniques de transformation de modeles pour la traduction de modeles vers  des modeles plus raffinés rapprochant des implantation avec l'outil coq
en attente de vos réponses
accepter mes salutations.

--

Mlle Djamila Baroudi                           

Faculté des Sciences Exactes et Informatique,        

Université de Mostaganem,

27000 Mostaganem, Algérie.