Selected papers from the Rigorous State-Based Methods, 7th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023
Authors: Dominique Méry, Rosemary Monahan
Publication: Science of Computer Programming
Published: Jan 1, 2026
Source: Crossref