Special issue "Abstract State Machines, Alloy, B and Z; Selected papers from ABZ 2010" - Archive ouverte HAL
Ouvrages Année : 2013

Special issue "Abstract State Machines, Alloy, B and Z; Selected papers from ABZ 2010"

Marc Frappier
  • Fonction : Directeur scientifique
Groupe de Recherche en Ingénierie du Logiciel [Sherbrooke]
Uwe Glässer
  • Fonction : Directeur scientifique
Software Technology Lab, School of Computing Science
Sarfraz Khurshid
  • Fonction : Directeur scientifique
University of Texas at Austin [Austin]
Régine Laleau
Laboratoire d'Algorithmique Complexité et Logique
Steve Reeves
  • Fonction : Directeur scientifique

Résumé

no abstract

Domaines

Informatique [cs]

Régine Laleau  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01224628

Soumis le : mercredi 4 novembre 2015-22:50:16

Dernière modification le : mercredi 3 avril 2024-11:42:03

Fichier non déposé

Dates et versions

hal-01224628 , version 1 (04-11-2015)

Identifiants

  • HAL Id : hal-01224628 , version 1

Citer

Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves (Dir.). Special issue "Abstract State Machines, Alloy, B and Z; Selected papers from ABZ 2010". Marc Frappier and Uwe Glässer and Sarfraz Khurshid and Régine Laleau and Steve Reeves. Elsevier, 2013. ⟨hal-01224628⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS LACL UPEC
57 Consultations
0 Téléchargements

Partager

More