TY  - BOOK
AU  - Felix Winterstein
TI  - Separation Logic for High-level Synthesis
SN  - 978-3-319-53222-6
PB  - Springer
KW  - "Engineering; Circuits and Systems; Memory Structures; Logic Design; Programming Languages, Compilers, Interpreters"
UR  - http://link.springer.com/openurl?genre=book&isbn=978-3-319-53222-6
ER  -