"Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, " - читать интересную книгу автора (Marco Bernardo, Alessandro Cimatti)