"Tools and Algorithms for the Construction and Analysis of Systems, 2 conf., TACAS '96" - читать интересную книгу автора (Tiziana Margaria, Bernhard Steffen)