"Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th " - читать интересную книгу автора (Lubos Brim, Boudewijn Haverkort)