Introduction to the ABZ 2014 special issue - Université Toulouse III - Paul Sabatier - Toulouse INP Accéder directement au contenu
Ouvrages Année : 2016

Introduction to the ABZ 2014 special issue

Domaines

Informatique [cs]

Documentation IRIT  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03176462

Soumis le : lundi 22 mars 2021-13:36:27

Dernière modification le : lundi 20 novembre 2023-11:44:22

Consulter le texte intégral

Dates et versions

hal-03176462 , version 1 (22-03-2021)

Identifiants

Citer

Yamine Aït-Ameur, Klaus-Dieter Schewe. Introduction to the ABZ 2014 special issue. Ait Ameur, Yamine; Schewe, Klaus-Dieter. Elsevier, 131 (Abstract State Machines, Alloy, B, TLA, VDM and Z (ABZ 2014) Selected and extended papers from ABZ 2014), pp.1-2, 2016, Science of Computer Programming, ⟨10.1016/j.scico.2016.09.001⟩. ⟨hal-03176462⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLSE2 CNRS SMS UT1-CAPITOLE IRIT IRIT-ACADIE IRIT-FSL IRIT-INPT TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP
17 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More