Back to Search Start Over

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

Authors :
Méry, Dominique
Raschke, Alexander
Source :
Science of Computer Programming. Apr2022, Vol. 216, pN.PAG-N.PAG. 1p.
Publication Year :
2022

Subjects

Subjects :
*CONFERENCES & conventions

Details

Language :
English
ISSN :
01676423
Volume :
216
Database :
Academic Search Index
Journal :
Science of Computer Programming
Publication Type :
Academic Journal
Accession number :
155312322
Full Text :
https://doi.org/10.1016/j.scico.2022.102780