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 Access content directly
Journal Articles Science of Computer Programming Year : 2022
No file

Dates and versions

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

Identifiers

Cite

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⟩
22 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More