Skip to Content.
Sympa Menu

coq-club - [Coq-Club] state of the art

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] state of the art


Chronological Thread 
  • 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.


--
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.

Top of Page