Bernd Finkbeiner, "Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Pa"
English | ISBN: 3031572459 | | pages | EPUB | 37 MB
English | ISBN: 3031572459 | | pages | EPUB | 37 MB