Lloyd-Roberts, B., Pantekis, F., James, P., O'Reilly, L., & Edwards, M. (2024). Effective Candidate Invariant Generation Using GPGPUs and Optimisations. 2024 Twelfth International Symposium on Computing and Networking (CANDAR), pp. 77-86. doi:10.1109/candar64496.2024.00017
Chicago Style CitationLloyd-Roberts, Ben, Filippos Pantekis, Phillip James, Liam O'Reilly, and Mike Edwards. "Effective Candidate Invariant Generation Using GPGPUs and Optimisations." 2024 Twelfth International Symposium On Computing and Networking (CANDAR) 2024: 77-86.
MLA CitationLloyd-Roberts, Ben, et al. "Effective Candidate Invariant Generation Using GPGPUs and Optimisations." 2024 Twelfth International Symposium On Computing and Networking (CANDAR) 2024: 77-86.
Warning: These citations may not always be 100% accurate.