Castaño, R. (2018). Análisis de ejecuciones parciales de Software Model Checkers. Web
Citación estilo ChicagoCastaño, Rodrigo. Análisis De Ejecuciones Parciales De Software Model Checkers. 2018.
Cita MLACastaño, Rodrigo. Análisis De Ejecuciones Parciales De Software Model Checkers. 2018.
Precaución: Estas citas no son 100% exactas.