Cita APA (7a ed.)

Calegari, D., Luna, C., Szasz, N., & Tasistro, Á. (2009). Experiment with a type-theoretic approach to the verification of model transformations.

Cita Chicago Style (17a ed.)

Calegari, Daniel, Carlos Luna, Nora Szasz, y Álvaro Tasistro. Experiment with a Type-theoretic Approach to the Verification of Model Transformations. 2009.

Cita MLA (9a ed.)

Calegari, Daniel, et al. Experiment with a Type-theoretic Approach to the Verification of Model Transformations. 2009.