coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Djamila baroudi <baroudi.d7 AT gmail.com>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] state of the art
- Date: Sat, 9 Mar 2013 21:57:58 +0100
hello all
I want to know the different specification made by Coq, and work to form a state of the art
I inform you that I am a doctoral student I'm working on processing techniques for translating models to models of more refined models closer to the tool implementation with cock
waiting for your answers
accept my greetings.
--
I want to know the different specification made by Coq, and work to form a state of the art
I inform you that I am a doctoral student I'm working on processing techniques for translating models to models of more refined models closer to the tool implementation with cock
waiting for your answers
accept my greetings.
--
Mlle Djamila Baroudi
Faculté des Sciences Exactes et Informatique,
Université de Mostaganem,
27000 Mostaganem, Algérie.
- [Coq-Club] state of the art, Djamila baroudi, 03/09/2013
Archive powered by MHonArc 2.6.18.