Liang, L., Melham, T., Kroening, D., Schrammel, P., & Tautschnig, M. (2017). Effective verification for low-level software with competing interrupts. Association for Computing Machinery.
Citace podle Chicago (17th ed.)Liang, L., T. Melham, DHF Kroening, P. Schrammel, a M. Tautschnig. Effective Verification for Low-level Software with Competing Interrupts. Association for Computing Machinery, 2017.
Citace podle MLA (9th ed.)Liang, L., et al. Effective Verification for Low-level Software with Competing Interrupts. Association for Computing Machinery, 2017.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..