Calegari, D., Luna, C., Szasz, N., & Tasistro, Á. (2010). A type-theoretic framework for certified model transformations.
Cita Chicago Style (17a ed.)Calegari, Daniel, Carlos Luna, Nora Szasz, y Álvaro Tasistro. A Type-theoretic Framework for Certified Model Transformations. 2010.
Cita MLA (9a ed.)Calegari, Daniel, et al. A Type-theoretic Framework for Certified Model Transformations. 2010.
Precaución: Estas citas no son 100% exactas.