Liang, L., Melham, T., Kroening, D., Schrammel, P., & Tautschnig, M. (2017). Effective verification for low-level software with competing interrupts. Association for Computing Machinery.
Citazione stile Chigago Style (17a edizione)Liang, L., T. Melham, DHF Kroening, P. Schrammel, e M. Tautschnig. Effective Verification for Low-level Software with Competing Interrupts. Association for Computing Machinery, 2017.
Citatione MLA (9a ed.)Liang, L., et al. Effective Verification for Low-level Software with Competing Interrupts. Association for Computing Machinery, 2017.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.