Separation Logic for High-level Synthesis
-
e-bok
,
Engelska, 2017