Katelman, M., Meseguer, J., & Escobar, S. (2008, June). Directed-Logical Testing for Functional Verification of Microprocessors. 2008 6th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 89-100. https://doi.org/10.1109/MEMCOD.2008.4547694
Citace podle Chicago (17th ed.)Katelman, M., J. Meseguer, a S. Escobar. "Directed-Logical Testing for Functional Verification of Microprocessors." 2008 6th IEEE/ACM International Conference on Formal Methods and Models for Codesign Jun. 2008: 89-100. https://doi.org/10.1109/MEMCOD.2008.4547694.
Citace podle MLA (9th ed.)Katelman, M., et al. "Directed-Logical Testing for Functional Verification of Microprocessors." 2008 6th IEEE/ACM International Conference on Formal Methods and Models for Codesign, Jun. 2008, pp. 89-100, https://doi.org/10.1109/MEMCOD.2008.4547694.