Recent Advancements in Hardware Verification - How to Make Theorem Proving Fit for an Industrial Usage
['Thomas Kropf']
Recent Advancements in Hardware Verification - How to Make Theorem Proving Fit for an Industrial Usage