APA (7th ed.) Citation

Winterstein, F. (2017). Separation Logic for High-level Synthesis. Springer International Publishing : Imprint: Springer.

Chicago Style (17th ed.) Citation

Winterstein, Felix. Separation Logic for High-level Synthesis. Cham: Springer International Publishing : Imprint: Springer, 2017.

MLA (8th ed.) Citation

Winterstein, Felix. Separation Logic for High-level Synthesis. Springer International Publishing : Imprint: Springer, 2017.