APA aipamena

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

Chicago Style aipamena

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

MLA aipamena

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