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