POSKITT, C. M., & PLUMP, D. (2010). A Hoare calculus for graph programs. Institutional Knowledge at Singapore Management University.
استشهاد بنمط شيكاغوPOSKITT, Christopher M., و Detlef PLUMP. A Hoare Calculus for Graph Programs. Institutional Knowledge at Singapore Management University, 2010.
MLA استشهادPOSKITT, Christopher M., و Detlef PLUMP. A Hoare Calculus for Graph Programs. Institutional Knowledge at Singapore Management University, 2010.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.