Winterstein, F. (2020). Separation Logic for High-level Synthesis. Springer International Publishing.
Styl ChicagoWinterstein, Felix. Separation Logic for High-level Synthesis. Springer International Publishing, 2020.
Citace podle MLAWinterstein, Felix. Separation Logic for High-level Synthesis. Springer International Publishing, 2020.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..