Citação APA (7ª ed.)

Chaves, L., Bessa, I., Cordeiro, L., Kroening, D., & Lima Filho, E. (2017). Verifying digital systems with MATLAB. Association for Computing Machinery.

Citação do estilo Chicago (17ª ed.)

Chaves, L., I. Bessa, L. Cordeiro, D. Kroening, e E. Lima Filho. Verifying Digital Systems with MATLAB. Association for Computing Machinery, 2017.

Citação MLA (9ª ed.)

Chaves, L., et al. Verifying Digital Systems with MATLAB. Association for Computing Machinery, 2017.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.