McIver, A., Morgan, C., & Plotkin, G. (2001). Partial correctness for probabilistic demonic programs. Elsevier.
Citace podle Chicago (17th ed.)McIver, A., C. Morgan, a G. Plotkin. Partial Correctness for Probabilistic Demonic Programs. Elsevier, 2001.
Citace podle MLA (9th ed.)McIver, A., et al. Partial Correctness for Probabilistic Demonic Programs. Elsevier, 2001.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..