book

Separation Logic for High-level Synthesis

Felix Winterstein Published in 2017

Reference details