Citação norma APA

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

Citação norma Chicago

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

Citação norma MLA

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.