Steinberg, M. U. (2021). Automatización para el entorno Isabelle / ZF. Web
Citación estilo ChicagoSteinberg, Matías Uriel. Automatización Para El Entorno Isabelle / ZF. 2021.
Cita MLASteinberg, Matías Uriel. Automatización Para El Entorno Isabelle / ZF. 2021.
Precaución: Estas citas no son 100% exactas.