Tools and Algorithms for the Construction and Analysis of Systems
Subtitle: 25th International Conference, TACAS 2019, Held as Part of the European Joint ...
Publisher: Springer
Published: Apr 04, 2019
Format: paperback
Number of pages: 436
ISBN-13: 9783030174644
Notes: Source title: Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint ... (Lecture Notes in Computer Science (11428))