Abal, I., & Pinto, J. S. (2013). Towards a mostly-automated prover for bit-vector arithmetic.
Citação do estilo Chicago (17ª ed.)Abal, Iago, e Jorge Sousa Pinto. Towards a Mostly-automated Prover for Bit-vector Arithmetic. 2013.
Citação MLA (8ª ed.)Abal, Iago, e Jorge Sousa Pinto. Towards a Mostly-automated Prover for Bit-vector Arithmetic. 2013.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.