Citace podle APA

Loeckx, J. (1983). Foundation of program verification. John Wiley & Sons.

Styl Chicago

Loeckx, Jacques. Foundation of Program Verification. New Jersey: John Wiley & Sons, 1983.

Citace podle MLA

Loeckx, Jacques. Foundation of Program Verification. John Wiley & Sons, 1983.

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