Citação norma APA

Borralleras Andreu, C., Larraz Hurtado, D., Rodríguez Carbonell, E., Oliveras Llunell, A., & Rubio Gimeno, A. (2019). Incomplete SMT techniques for solving non-linear formulas over the integers.

Citação norma Chicago

Borralleras Andreu, Cristina, Daniel|||0000-0001-5305-7340 Larraz Hurtado, Enric|||0000-0003-1061-3954 Rodríguez Carbonell, Albert|||0000-0002-5893-1911 Oliveras Llunell, y Alberto|||0000-0002-0501-9830 Rubio Gimeno. Incomplete SMT Techniques for Solving Non-linear Formulas Over the Integers. 2019.

Citação norma MLA

Borralleras Andreu, Cristina, et al. Incomplete SMT Techniques for Solving Non-linear Formulas Over the Integers. 2019.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.