Citace podle APA (7th ed.)

Martin, A. (1997). Why effective proof tool support for Z is hard. Software Verification Research Centre.

Citace podle Chicago (17th ed.)

Martin, A. Why Effective Proof Tool Support for Z Is Hard. Software Verification Research Centre, 1997.

Citace podle MLA (9th ed.)

Martin, A. Why Effective Proof Tool Support for Z Is Hard. Software Verification Research Centre, 1997.

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..