"Tools and Algorithms for the Construction and Analysis of Systems, 6 conf., TACAS 2000" - читать интересную книгу автора (Susanne Graf, Michael Schwartzbach)