Menezes, R. S., Manino, E., Shmarov, F., Aldughaim, M., de Freitas, R., & Cordeiro, L. C. (2024). Interval Analysis in Industrial-Scale BMC Software Verifiers: A Case Study.
Citazione stile Chigago Style (17a edizione)Menezes, Rafael Sá, Edoardo Manino, Fedor Shmarov, Mohannad Aldughaim, Rosiane de Freitas, e Lucas C. Cordeiro. Interval Analysis in Industrial-Scale BMC Software Verifiers: A Case Study. 2024.
Citatione MLA (9a ed.)Menezes, Rafael Sá, et al. Interval Analysis in Industrial-Scale BMC Software Verifiers: A Case Study. 2024.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.