Granberry, G., Ahrendt, W., & Johansson, M. (2024). Specify What? Enhancing Neural Specification Synthesis by Symbolic Methods.
Chicago Style (17th ed.) CitationGranberry, George, Wolfgang Ahrendt, and Moa Johansson. Specify What? Enhancing Neural Specification Synthesis by Symbolic Methods. 2024.
MLA (9th ed.) CitationGranberry, George, et al. Specify What? Enhancing Neural Specification Synthesis by Symbolic Methods. 2024.
Warning: These citations may not always be 100% accurate.