Citáce podľa APA (7th ed.)

Kim, Y., & Choi, Y. (2024). PBE-Based Selective Abstraction and Refinement for Efficient Property Falsification of Embedded Software. Proceedings of the ACM on software engineering, 1(FSE), 293-315. https://doi.org/10.1145/3643740

Citácia podle Chicago (17th ed.)

Kim, Yoel, a Yunja Choi. "PBE-Based Selective Abstraction and Refinement for Efficient Property Falsification of Embedded Software." Proceedings of the ACM on Software Engineering 1, no. FSE (2024): 293-315. https://doi.org/10.1145/3643740.

Citácia podľa MLA (8th ed.)

Kim, Yoel, a Yunja Choi. "PBE-Based Selective Abstraction and Refinement for Efficient Property Falsification of Embedded Software." Proceedings of the ACM on Software Engineering, vol. 1, no. FSE, 2024, pp. 293-315, https://doi.org/10.1145/3643740.

Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..