"Vlsi Design Methods: International Workshop Proceedings: Formal Very Large Scale Integration Specification and Synthesis" - читать интересную книгу автора (Luc J. M. Claesen)