Barrière, A., Deng, V., & Pit-Claudel, C. (2026). Formal Verification for JavaScript Regular Expressions: A Proven Mechanized Semantics and Its Applications. Proceedings of the ACM on Programming Languages, 10(POPL), 1964-1993. https://doi.org/10.1145/3776710
Παραπομπή σε μορφή Chicago (17η εκδ.)Barrière, Aurèle, Victor Deng, και Clément Pit-Claudel. "Formal Verification for JavaScript Regular Expressions: A Proven Mechanized Semantics and Its Applications." Proceedings of the ACM on Programming Languages 10, no. POPL (2026): 1964-1993. https://doi.org/10.1145/3776710.
Παραπομπή σε μορφή MLA (9th εκδ.)Barrière, Aurèle, et al. "Formal Verification for JavaScript Regular Expressions: A Proven Mechanized Semantics and Its Applications." Proceedings of the ACM on Programming Languages, vol. 10, no. POPL, 2026, pp. 1964-1993, https://doi.org/10.1145/3776710.