From Research to Teaching Formal Methods: The B Method - TFM-B'2009 - LINA-AELOS Accéder directement au contenu
Ouvrages Année : 2008

From Research to Teaching Formal Methods: The B Method - TFM-B'2009

Christian Attiogbe
Laboratoire d'Informatique de Nantes Atlantique
CV
Henri Habrias
  • Fonction : Directeur scientifique
  • PersonId : 856059
Laboratoire d'Informatique de Nantes Atlantique

Résumé

Conference Proceedings

Mots clés

B Method Research Teaching

Domaines

Génie logiciel [cs.SE]

Christian Attiogbe  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00481604

Soumis le : vendredi 7 mai 2010-00:27:47

Dernière modification le : vendredi 5 janvier 2024-03:23:16

Fichier non déposé

Dates et versions

hal-00481604 , version 1 (07-05-2010)

Identifiants

  • HAL Id : hal-00481604 , version 1

Citer

Christian Attiogbe, Henri Habrias (Dir.). From Research to Teaching Formal Methods: The B Method - TFM-B'2009. Université de Nantes, pp.134, 2008. ⟨hal-00481604⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES CNRS LINA LINA-COLOSS LINA-AELOS LS2N NANTES-UNIVERSITE
66 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More