Chaves, L., Bessa, I., Cordeiro, L., Kroening, D., & Lima Filho, E. (2017). Verifying digital systems with MATLAB. Association for Computing Machinery.
Lua i Stíl Chicago (17ú heag.)Chaves, L., I. Bessa, L. Cordeiro, D. Kroening, agus E. Lima Filho. Verifying Digital Systems with MATLAB. Association for Computing Machinery, 2017.
Lua MLA (9ú heag.)Chaves, L., et al. Verifying Digital Systems with MATLAB. Association for Computing Machinery, 2017.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.