APA način citiranja

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

Čikaški stil citiranja

Winterstein, Felix. Separation Logic for High-level Synthesis. Springer International Publishing, 2020.

MLA način citiranja

Winterstein, Felix. Separation Logic for High-level Synthesis. Springer International Publishing, 2020.

Upozorenje: Ovi citati možda nisu uvijek 100% točni.