87515110
9783031572555
Finkbeiner, Bernd is the author of 'Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Pr', published 2024 under ISBN 9783031572555 and ISBN 3031572556.
[read more]