Login / Signup
Proof assistants at the hardware-software interface (invited talk).
Adam Chlipala
Published in:
CPP (2020)
Keyphrases
</>
invited talk
hardware software
hardware and software
hw sw
embedded systems
design methodology
knowledge discovery and data mining
selected papers
high performance computing
multi core processors
intelligent agents
hardware design
user interface
low cost
data management
e learning
control system
association rules