Separation logic for high-level synthesis. (2017) - Winterstein, Felix
No abstract available