Tools and Algorithms for the Construction and Analysis of Systems Michae, Graf Susanne; Schwartzbach Digital bok / 2020 / Engelsk
