Tools and Algorithms for the Construction and Analysis of Systems
Subtitle: 25th International Conference, TACAS 2019, Held as Part of the European Joint ... I
Publisher: Springer
Published: Apr 04, 2019
Format: paperback
Number of pages: 456
ISBN-13: 9783030174613
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 ... I (Lecture Notes in Computer Science (11427))