Separation Logic for High-level Synthesis
-
häftad
,
Engelska, 2018