McIver, A., Morgan, C., & Plotkin, G. (2001). Partial correctness for probabilistic demonic programs. Elsevier.
Chicago Style (17th ed.) CitationMcIver, A., C. Morgan, and G. Plotkin. Partial Correctness for Probabilistic Demonic Programs. Elsevier, 2001.
MLA引文McIver, A., et al. Partial Correctness for Probabilistic Demonic Programs. Elsevier, 2001.
警告:這些引文格式不一定是100%准確.