Zoppi, E., Braberman, V., De Caso, G., Garbervetsky, D., & Uchitel, S. Contractor.NET: Inferring typestate properties to enrich code contracts.
Cita Chicago Style (17a ed.)Zoppi, E., V. Braberman, G. De Caso, D. Garbervetsky, y S. Uchitel. Contractor.NET: Inferring Typestate Properties to Enrich Code Contracts.
Cita MLA (8a ed.)Zoppi, E., et al. Contractor.NET: Inferring Typestate Properties to Enrich Code Contracts.
Precaución: Estas citas no son 100% exactas.