Journal Articles
Science of Computer Programming
Year : 2022
Dominique Méry : Connect in order to contact the contributor
https://inria.hal.science/hal-03904790
Submitted on : Saturday, December 17, 2022-11:45:05 AM
Last modification on : Monday, September 11, 2023-5:41:18 PM
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