A Specification-Based Approach to Reasoning about Pointers

TitleA Specification-Based Approach to Reasoning about Pointers
Publication TypeConference Paper
Year of Publication2005
AuthorsKulczycki, G., M. Sitaraman, B. W. Weide, and A. Rountev
Conference NameProceedings Specification and Verification of Component-Based Systems (ESEC/FSE SAVCBS '05) Workshop
Date PublishedSeptember 2005
Conference LocationLisbon, Portugal