Selected papers from the Rigorous State-Based Methods 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020 - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Science of Computer Programming Année : 2022

Selected papers from the Rigorous State-Based Methods 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020

Domaines

Génie logiciel [cs.SE] Théorie et langage formel [cs.FL] Logique en informatique [cs.LO] Algorithme et structure de données [cs.DS]

Dominique Méry  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-03904790

Soumis le : samedi 17 décembre 2022-11:45:05

Dernière modification le : lundi 11 septembre 2023-17:41:18

Fichier non déposé

Dates et versions

hal-03904790 , version 1 (17-12-2022)

Identifiants

Citer

Dominique Méry, Alexander Raschke. Selected papers from the Rigorous State-Based Methods 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020. Science of Computer Programming, 2022, 216, pp.102780. ⟨10.1016/j.scico.2022.102780⟩. ⟨hal-03904790⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE INRIA2 LORIA LORIA-FM
22 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More