APA Citation

POSKITT, C. M., & PLUMP, D. (2010). A Hoare calculus for graph programs. Institutional Knowledge at Singapore Management University.

Chicago Style Citation

POSKITT, Christopher M., and Detlef PLUMP. A Hoare Calculus for Graph Programs. Institutional Knowledge at Singapore Management University, 2010.

MLA Citation

POSKITT, Christopher M., and Detlef PLUMP. A Hoare Calculus for Graph Programs. Institutional Knowledge at Singapore Management University, 2010.

Warning: These citations may not always be 100% accurate.