Moscato, M. M. (2013). Mejoras a la demostración interactiva de propiedades Alloy utilizando SAT-Solving. Web
Citación estilo ChicagoMoscato, Mariano Miguel. Mejoras a La Demostración Interactiva De Propiedades Alloy Utilizando SAT-Solving. 2013.
Cita MLAMoscato, Mariano Miguel. Mejoras a La Demostración Interactiva De Propiedades Alloy Utilizando SAT-Solving. 2013.
Precaución: Estas citas no son 100% exactas.