Murphy, W., Holzer, N., Qiao, F., Cui, L., Rothkopf, R., Koenig, N., & Santolucito, M. (2024). Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis.
Chicago-Zitierstil (17. Ausg.)Murphy, William, Nikolaus Holzer, Feitong Qiao, Leyi Cui, Raven Rothkopf, Nathan Koenig, und Mark Santolucito. Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis. 2024.
MLA-Zitierstil (9. Ausg.)Murphy, William, et al. Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis. 2024.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.