Ouvrages
Année : 2016
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
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⟩
Collections
18
Consultations
0
Téléchargements