1. Separation logic for high-level synthesis. (2017) Authors: Winterstein, Felix Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗