Cita APA

Vieira, B. C. (2010). Resolvedor modular de satisfabilidade aplicado na verificação de circuitos combinacionais.

Citación estilo Chicago

Vieira, Bernardo Cunha. Resolvedor Modular De Satisfabilidade Aplicado Na Verificação De Circuitos Combinacionais. 2010.

Cita MLA

Vieira, Bernardo Cunha. Resolvedor Modular De Satisfabilidade Aplicado Na Verificação De Circuitos Combinacionais. 2010.

Precaución: Estas citas no son 100% exactas.