de Caso, G., Braberman, V. A., Garbervetsky, D. D., & Uchitel, S. (2012). Automated abstractions for contract validation. Web
Citación estilo Chicagode Caso, Guido, Victor Adrian Braberman, Diego David Garbervetsky, and Sebastian Uchitel. Automated Abstractions for Contract Validation. 2012.
Cita MLAde Caso, Guido, Victor Adrian Braberman, Diego David Garbervetsky, and Sebastian Uchitel. Automated Abstractions for Contract Validation. 2012.
Precaución: Estas citas no son 100% exactas.