Hurd, J., McIver, A., & Morgan, C. (2005). Probabilistic guarded commands mechanized in HOL. Elsevier.
Citación estilo ChicagoHurd, J., A. McIver, and C. Morgan. Probabilistic Guarded Commands Mechanized in HOL. Elsevier, 2005.
Cita MLAHurd, J., et al. Probabilistic Guarded Commands Mechanized in HOL. Elsevier, 2005.
Warning: These citations may not always be 100% accurate.