Login / Signup

On embedding a hardware description language in Isabelle/HOL.

Wilayat KhanDavid SanánZhe HouYang Liu
Published in: Des. Autom. Embed. Syst. (2019)
Keyphrases