Tools and Algorithms for the Construction and Analysis of Systems
Subtitle: 24th International Conference, TACAS 2018, Held as Part of the European Joint ...
Publisher: Springer
Published: Apr 14, 2018
Format: paperback
Number of pages: 485
ISBN-13: 9783319899626
Notes: Source title: Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint ... (Lecture Notes in Computer Science (10806))