Shen, S., Liu, J., Feng, W., Song, F. und Wu, Z. (2025) „BMCFuzz: Hybrid Verification of Processors by Synergistic Integration of Bound Model Checking and Fuzzing“, in. doi:10.1109/ICCAD66269.2025.11240887.
Chicago Manual of Style 17th edition (full note)Shen, Shidong, Jinyu Liu, Weizhi Feng, Fu Song, und Zhilin Wu. „BMCFuzz: Hybrid Verification of Processors by Synergistic Integration of Bound Model Checking and Fuzzing“. In . https://doi.org/10.1109/ICCAD66269.2025.11240887.
American Psychological Association 7th editionShen, S., Liu, J., Feng, W., Song, F., & Wu, Z. (2025, Oktober 26). BMCFuzz: Hybrid Verification of Processors by Synergistic Integration of Bound Model Checking and Fuzzing. https://doi.org/10.1109/ICCAD66269.2025.11240887
Modern Language Association 9th editionShen, S., J. Liu, W. Feng, F. Song, und Z. Wu. BMCFuzz: Hybrid Verification of Processors by Synergistic Integration of Bound Model Checking and Fuzzing. 2025, https://doi.org/10.1109/ICCAD66269.2025.11240887.
ISO-690 (author-date, Deutsch)SHEN, Shidong, Jinyu LIU, Weizhi FENG, Fu SONG und Zhilin WU, 2025. BMCFuzz: Hybrid Verification of Processors by Synergistic Integration of Bound Model Checking and Fuzzing. In: . 26 Oktober 2025