Cita APA

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

Citación estilo Chicago

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

Cita MLA

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