APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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

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