TY  - BOOK
AU  - Alexander Raschke, Dominique Méry, Frank Houdek.
TI  - Rigorous State-Based Methods : 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings
SN  - 9783030480776
PY  - 2020///
CY  - Cham
PB  - Springer
KW  - Mathematical logic. Artificial intelligence. Computer organization. Software engineering. Microprogramming . Mathematical Logic and Formal Languages. Artificial Intelligence. Computer Systems Organization and Communication Networks. Software Engineering. Control Structures and Microprogramming
UR  - https://doi.org/10.1007/978-3-030-48077-6
ER  -