Rigorous State-Based Methods
Subtitle: 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings
Publisher: Springer
Published: May 15, 2020
Format: paperback
Number of pages: 440
ISBN-13: 9783030480769
Notes: Source title: Rigorous State-Based Methods: 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings (Lecture Notes in Computer Science (12071))