Csallner, C., Tillmann, N., & Smaragdakis, Y. (2008). DySy: Dynamic symbolic execution for invariant inference. International Conference on Software Engineering 2008, 2008(24), . https://doi.org/10.1145/1368088.1368127
Citace podle Chicago (17th ed.)Csallner, Christoph, Nikolai Tillmann, a Yannis Smaragdakis. "DySy: Dynamic Symbolic Execution for Invariant Inference." International Conference on Software Engineering 2008 2008, no. 24 (2008). https://doi.org/10.1145/1368088.1368127.
Citace podle MLA (9th ed.)Csallner, Christoph, et al. "DySy: Dynamic Symbolic Execution for Invariant Inference." International Conference on Software Engineering 2008, vol. 2008, no. 24, 2008, https://doi.org/10.1145/1368088.1368127.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..