Winterstein, F. (2017). Separation Logic for High-level Synthesis (1st ed. 2017.). Springer International Publishing. https://doi.org/10.1007/978-3-319-53222-6
Chicago Style (17. basım) AtıfWinterstein, Felix. Separation Logic for High-level Synthesis. 1st ed. 2017. Cham: Springer International Publishing, 2017. https://doi.org/10.1007/978-3-319-53222-6.
MLA (9th ed.) AtıfWinterstein, Felix. Separation Logic for High-level Synthesis. 1st ed. 2017. Springer International Publishing, 2017. https://doi.org/10.1007/978-3-319-53222-6.
Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..