Dyfyniad APA

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

Dyfyniad Arddull Chicago

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

Dyfyniad MLA

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

Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.