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