"FME '96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, ... " - читать интересную книгу автора (Marie-Claude Gaudel, James Woodcock)