Tools and Algorithms for the Construction and Analysis of Systems - David Parker; Armin Biere (Springer International Publishing, 2020)
Keywords: Computer Science