"Tools and Algorithms for the Construction and Analysis of Systems, 7 conf., TACAS 2001" - читать интересную книгу автора (Tiziana Margaria, Wang Yi)