"FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings " - читать интересную книгу автора (International Symposium of Formal Methods, Maurice Naftalin, Tim Denvir, Miquel...)