Cita APA

Chocrón, P. (2014). A study of the combination problem: Dealing with multiple theories in SMT solving. Web

Citación estilo Chicago

Chocrón, Paula. A Study of the Combination Problem: Dealing With Multiple Theories in SMT Solving. 2014.

Cita MLA

Chocrón, Paula. A Study of the Combination Problem: Dealing With Multiple Theories in SMT Solving. 2014.

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