"The Fusion of Hardware Design and Verification: Proceedings" von George J. Milne ist eine Sammlung von wissenschaftlichen Arbeiten, die im Rahmen einer I.F.I.P. (International Federation for Information Processing) Konferenz präsentiert...