"Tools and Algorithms for the Construction and Analysis of Systems, 1 conf., TACAS '95" - читать интересную книгу автора (Ed Brinksma, W. Rance Cleaveland, Kim G. Larsen, Tiziana Margaria, Bernhard...)