Basset, N., Dang, T., Gigler, F., Mateis, C., & Nickovic, D. (2021, November 20). Sampling of Shape Expressions with ShapEx. 2021 19th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), 118-125. https://doi.org/10.1145/3487212.3487350
Citace podle Chicago (17th ed.)Basset, Nicolas, Thao Dang, Felix Gigler, Cristinel Mateis, a Dejan Nickovic. "Sampling of Shape Expressions with ShapEx." 2021 19th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) 20 Nov. 2021: 118-125. https://doi.org/10.1145/3487212.3487350.
Citace podle MLA (9th ed.)Basset, Nicolas, et al. "Sampling of Shape Expressions with ShapEx." 2021 19th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), 20 Nov. 2021, pp. 118-125, https://doi.org/10.1145/3487212.3487350.