Citace podle APA (7th ed.)

Kulczycki, G. A specification-based approach to reasoning about pointers. Software engineering notes..

Citace podle Chicago (17th ed.)

Kulczycki, Gregory. "A Specification-based Approach to Reasoning About Pointers." Software Engineering Notes. .

Citace podle MLA (9th ed.)

Kulczycki, Gregory. "A Specification-based Approach to Reasoning About Pointers." Software Engineering Notes., .

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