Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

24th International Conference, TACAS 2018, Held as Part of the European Joint ... I

によって Dirk Beyer
5/5
最初に出版された
Apr 12, 2018
パブリッシャー
Springer

書籍

類似の本