Skip to Main content Skip to Navigation
Books

Actes des journées nationales du GDR CNRS Génie de la Programmation et du Logiciel

Yves Ledru 1 Marc Pantel 2, 3
1 VASCO - Validation de Systèmes, Composants et Objets logiciels
LIG - Laboratoire d'Informatique de Grenoble
2 IRIT-ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées
IRIT - Institut de recherche en informatique de Toulouse
3 Toulouse INP - Institut National Polytechnique (Toulouse)
Résumé : no abstract
Document type :
Books
Complete list of metadata
https://hal.inria.fr/hal-00953597
Contributor : Catherine Oriat <>
Submitted on : Friday, February 28, 2014 - 1:54:41 PM
Last modification on : Wednesday, June 9, 2021 - 10:00:26 AM

Identifiers

  • HAL Id : hal-00953597, version 1

Collections

CNRS | UNIV-TLSE2 | LIG_GLSI_VASCO | LIG_GLSI | LIG | SMS | UNIV-TLSE3 | UT1-CAPITOLE | IRIT | IRIT-ACADIE | UGA | IRIT-FSL | IRIT-INPT

Citation

Yves Ledru, Marc Pantel. Actes des journées nationales du GDR CNRS Génie de la Programmation et du Logiciel. Ledru; Yves and Pantel; Marc. IRIT Press, 2009, 978-2-917490-04-4. ⟨hal-00953597⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

333

 

Contact                    Legal Notice                    Personal Data