Braberman, V. A., de Caso, G., & Garbervetsky, D. (2011). Contractor.NET: Inferring typestate properties to enrich code contracts.
Cita Chicago Style (17a ed.)Braberman, Víctor Adrián, Guido de Caso, y Diego Garbervetsky. Contractor.NET: Inferring Typestate Properties to Enrich Code Contracts. 2011.
Cita MLA (8a ed.)Braberman, Víctor Adrián, et al. Contractor.NET: Inferring Typestate Properties to Enrich Code Contracts. 2011.
Precaución: Estas citas no son 100% exactas.