Miao, M., Hu, G., Zhang, W., & Zhang, H. (2026). LeGend: A Data-Driven Framework for Lemma Generation in Hardware Model Checking.
Citazione stile Chigago Style (17a edizione)Miao, Mingkai, Guangyu Hu, Wei Zhang, e Hongce Zhang. LeGend: A Data-Driven Framework for Lemma Generation in Hardware Model Checking. 2026.
Citatione MLA (9a ed.)Miao, Mingkai, et al. LeGend: A Data-Driven Framework for Lemma Generation in Hardware Model Checking. 2026.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.