Nelaturu, K., Keilty, E. und Veneris, A. (2023) „Natural Language-Based Model-Checking Framework for Move Smart Contracts“, in. doi:10.1109/SDS59856.2023.10328964.
Chicago Manual of Style 17th edition (full note)Nelaturu, Keerthi, Eric Keilty, und Andreas Veneris. „Natural Language-Based Model-Checking Framework for Move Smart Contracts“. In . https://doi.org/10.1109/SDS59856.2023.10328964.
American Psychological Association 7th editionNelaturu, K., Keilty, E., & Veneris, A. (2023, Oktober 23). Natural Language-Based Model-Checking Framework for Move Smart Contracts. https://doi.org/10.1109/SDS59856.2023.10328964
Modern Language Association 9th editionNelaturu, K., E. Keilty, und A. Veneris. Natural Language-Based Model-Checking Framework for Move Smart Contracts. 2023, https://doi.org/10.1109/SDS59856.2023.10328964.
ISO-690 (author-date, Deutsch)NELATURU, Keerthi, Eric KEILTY und Andreas VENERIS, 2023. Natural Language-Based Model-Checking Framework for Move Smart Contracts. In: . 23 Oktober 2023