Gonzalía, C. J. (2012). An experimental tool for checking probabilistic program refinement. Web
Citación estilo ChicagoGonzalía, Carlos José. An Experimental Tool for Checking Probabilistic Program Refinement. 2012.
Cita MLAGonzalía, Carlos José. An Experimental Tool for Checking Probabilistic Program Refinement. 2012.
Precaución: Estas citas no son 100% exactas.