Steinberg, M. U., & Pagano, M. M. (2021). Automatización para el entorno Isabelle / ZF.
Cita Chicago Style (17a ed.)Steinberg, Matías Uriel, y Miguel María Pagano. Automatización Para El Entorno Isabelle / ZF. 2021.
Cita MLA (8a ed.)Steinberg, Matías Uriel, y Miguel María Pagano. Automatización Para El Entorno Isabelle / ZF. 2021.
Precaución: Estas citas no son 100% exactas.